5863 search results - page 1110 / 1173 » An evaluation of the TRIPS computer system |
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
JCDL
2005
ACM
15 years 3 months ago
2005
ACM
Some large scale topical digital libraries, such as CiteSeer, harvest online academic documents by crawling open-access archives, university and author homepages, and authors’ s...
101
click to vote
MM
2005
ACM
15 years 3 months ago
2005
ACM
This paper presents a novel object-based video coding framework for videos obtained from a static camera. As opposed to most existing methods, the proposed method does not require...
SEMWEB
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Domain ontologies very rarely model verbs as relations holding between concepts. However, the role of the verb as a central connecting element between concepts is undenia...
ACMICEC
2004
ACM
15 years 3 months ago
2004
ACM
This paper presents a loosely coupled service-composition paradigm. This paradigm employs a distributed data flow that differs markedly from centralized information flow adopted b...