18188 search results - page 3416 / 3638 » Evaluation for Collaborative Systems |
137
Voted
KBSE
2005
IEEE
15 years 10 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...
145
click to vote
IUI
2005
ACM
15 years 10 months ago
2005
ACM
XML has emerged as the primary standard of data representation and data exchange [13]. Although many software tools exist to assist the XML implementation process, data must be ma...
149
Voted
JCDL
2005
ACM
15 years 10 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...
178
click to vote
MM
2005
ACM
15 years 10 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...
163
click to vote
MSWIM
2005
ACM
15 years 10 months ago
2005
ACM
Discrete-event network simulation is a major tool for the research and development of mobile ad-hoc networks (MANETs). These simulations are used for debugging, teaching, understa...