Data processing: software development – installation – and managem – Software program development tool – Translation of code
Reexamination Certificate
2006-08-08
2006-08-08
Khatri, Anil (Department: 2191)
Data processing: software development, installation, and managem
Software program development tool
Translation of code
C717S143000, C706S055000
Reexamination Certificate
active
07089543
ABSTRACT:
An occurrence description scheme that describes an occurrence of a semantic entity in multimedia content is encoded into a content description for the content. The occurrence description scheme is extracted from the content description and used by an application to search, filter or browse the content when a full structural or semantic description of the content is not required.
REFERENCES:
patent: 5579471 (1996-11-01), Barber et al.
patent: 5784539 (1998-07-01), Lenz
patent: 5806051 (1998-09-01), Bruno et al.
patent: 5963739 (1999-10-01), Homeier
patent: 6049332 (2000-04-01), Boetje et al.
patent: 6292938 (2001-09-01), Sarkar et al.
patent: 6314562 (2001-11-01), Biggerstaff
patent: 6400996 (2002-06-01), Hoffberg et al.
patent: 6473748 (2002-10-01), Archer
patent: 6492998 (2002-12-01), Kim et al.
patent: 6618852 (2003-09-01), van Eikeren et al.
patent: 6826566 (2004-11-01), Lewak et al.
patent: 6829603 (2004-12-01), Chai et al.
patent: 6876779 (2005-04-01), Rising, III
Ludascher et al, “Referential actions as logical rules”, ACM PODS, pp. 217-227, 1997.
Brassel et al, “A semantics for tracing declarative multi paradigm programs”, ACM PPDP, pp. 179-190, 2004.
Bozga et al, “Storeless semantics and alias logic”, ACM PEMP, pp. 55-65, 2003.
Grosof et al, “Description logic programs combining logic programs with description logic”, ACM WWW, pp. 48-57, 2003.
ISO, Coding of Moving Pictures and Audio, MPEG-7 Overview, International Organisation for Standardisation, ISO/TECJTC1/SC29/WG11 N3445, Geneva, SW, May/Jun. 2000, Version 3.0 pp. 1-55.
ISO, Coding of Moving Pictures and Audio, MPEG-7 Overview, International Organisation for Standardisation, ISO/TECJTC1/SC29/WG11 N4509, Pattaya, Dec. 2001, Version 6.0, pp. 1-101.
Kent, Robert E., “The IFF Category Theory Ontology,” IFF Foundation Ontology, Jan. 2, 2002, pp. 1-53.
Rising, Hawley K., III, “Formal Specification of Logic in Semantic Description Schemes,” International Organisation of Standardisation, ISO/TECJTC/SC29/WG11, Coding of Moving Pictures and Audio, Sydney, Australia, Jul. 2001, 10 pages.
Blakely , Sokoloff, Taylor & Zafman LLP
Khatri Anil
Sony Corporation
Sony Electronics Inc.
LandOfFree
Use of formal logic specification in construction of... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Use of formal logic specification in construction of..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Use of formal logic specification in construction of... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3615853