2366 search results - page 347 / 474 » Pfaffian Hybrid Systems |
175
click to vote
CVPR
1997
IEEE
15 years 10 months ago
1997
IEEE
We present an incremental system that builds accurate CAD models of objects from multiple range images. Using a hybrid of surface mesh and volumetric representations, the system c...
183
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
171
click to vote
CAV
2010
Springer
15 years 9 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
192
click to vote
AH
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents the methods used in a TV Recommender System that helps users in the difficult task of finding an interesting TV program from among the hundreds of channels that...
170
click to vote
ICWS
2004
IEEE
15 years 7 months ago
2004
IEEE
Web Services constitute a set of technologies that many believe will change the web communication landscape within the next few years. They offer standardized and easy communicati...