650 search results - page 130 / 130 » Towards automatic model synchronization from model transform... |
ECCV
2002
Springer
14 years 7 months ago
2002
Springer
A visual representation of an object must meet at least three basic requirements. First, it must allow identification of the object in the presence of slight but unpredictable chan...
FOIS
2006
13 years 6 months ago
2006
The field of BioInformatics has become a major venue for the development and application of computational ontologies. Ranging from controlled vocabularies to annotation of experim...
DMSN
2004
ACM
13 years 10 months ago
2004
ACM
Sensor networks present a number of novel programming challenges for application developers. Their inherent limitations of computational power, communication bandwidth, and energy...
MOBISYS
2008
ACM
14 years 4 months ago
2008
ACM
Cascadia is a system that provides RFID-based pervasive computing applications with an infrastructure for specifying, extracting and managing meaningful high-level events from raw...
DATE
2004
IEEE
13 years 9 months ago
2004
IEEE
Bounded model checking (BMC) has gained widespread industrial use due to its relative scalability. Its exhaustiveness over all valid input vectors allows it to expose arbitrarily ...