33 search results - page 2 / 7 » Maintaining Formal Models of Living Guidelines Efficiently |
ECCV
2006
Springer
13 years 9 months ago
2006
Springer
We present a method for efficiently tracking objects represented as constellations of parts by integrating out the shape of the model. Parts-based models have been successfully ap...
FMCAD
2008
Springer
13 years 7 months ago
2008
Springer
Abstract--This paper presents the verification of an asynchronous arbiter modeled at the circuit level with non-linear ordinary differential equations. We use Brockett's annul...
ISEMANTICS
2010
13 years 7 months ago
2010
The project SESAME uses semantic modeling and reasoning to support home owners and building managers in saving energy and in optimizing their energy costs while maintaining their ...
DMDW
2001
13 years 7 months ago
2001
Organizations are adopting datawarehouses to manage information efficiently as "the" main organizational asset. It is essential that we can assure the information qualit...
VLSID
2004
IEEE
14 years 6 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...