Sciweavers

1124 search results - page 164 / 225
» Architecture of Pattern Management Software System
Sort
View
BILDMED
2007
142views Algorithms» more  BILDMED 2007»
15 years 3 months ago
Interfacing Global and Local CBIR Systems for Medical Image Retrieval
Abstract. Contemporary picture archiving and communication systems are limited in managing large and varied image collections, because content-based image retrieval (CBIR) methods ...
Sameer Antani, Thomas Martin Deserno, L. Rodney Lo...
ATAL
2003
Springer
15 years 7 months ago
Tools and techniques for performance measurement of large distributed multiagent systems
Performance measurement of large distributed multiagent systems (MAS) offers challenges that must be addressed explicitly in the agent infrastructure. Performance data is widely d...
Aaron Helsinger, Richard Lazarus, William Wright, ...
ENTCS
2002
145views more  ENTCS 2002»
15 years 2 months ago
Combining Monitors for Runtime System Verification
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
Joshua Levy, Hassen Saïdi, Tomás E. Ur...
MSS
2005
IEEE
110views Hardware» more  MSS 2005»
15 years 8 months ago
Fermilab's Multi-Petabyte Scalable Mass Storage System
Fermilab provides a multi-Petabyte scale mass storage system for High Energy Physics (HEP) Experiments and other scientific endeavors. We describe the scalability aspects of the h...
Gene Oleynik, Bonnie Alcorn, Wayne Baisley, Jon Ba...
VLSID
2003
IEEE
180views VLSI» more  VLSID 2003»
16 years 2 months ago
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
Pao-Ann Hsiung, Shu-Yu Cheng