2364 search results - page 339 / 473 » On O-Minimal Hybrid Systems |
182
click to vote
ISWC
2002
IEEE
15 years 11 months ago
2002
IEEE
: This paper presents ARCHEOGUIDE, a novel system offering augmented reality tours in archaeological sites. The system is based on wearable and mobile computers, networking technol...
141
click to vote
SC
2000
ACM
15 years 11 months ago
2000
ACM
This paper reports the progress being made towards complete turbo-pump simulation capability for liquid rocket engines. The Space Shuttle Main Engine (SSME) turbo-pump impeller is...
179
click to vote
SRDS
1999
IEEE
15 years 10 months ago
1999
IEEE
Ad-hoc wireless networks have no wired component, and may have unpredictable mobility pattern. Such networks can get partitioned and reconnected several times. One possible approa...
176
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...
186
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...