11374 search results - page 329 / 2275 » Demonstration of the CROSSMARC System |
219
click to vote
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
264
click to vote
ICDIM
2006
IEEE
16 years 1 months ago
2006
IEEE
: Generic systems for content-based image retrieval (CBIR), such as QBIC [7] cannot be used to solve domain-specific image retrieval problems, as for example, the identification of...
195
click to vote
SIGSOFT
2006
ACM
16 years 1 months ago
2006
ACM
Developers of distributed systems routinely construct discrete-event simulations to help understand and evaluate the behavior of inter-component protocols. Simulations are abstrac...
182
Voted
FCCM
2005
IEEE
16 years 1 months ago
2005
IEEE
As technology sizes decrease and die area increases, designers are creating increasingly complex computing systems using FPGAs. To reduce design time for new products, the reuse o...
167
click to vote
ICMCS
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper presents an information-driven online video composition system. The composition work handled by the system includes dynamically setting multiple pan/tilt/zoom (PTZ) cam...