4693 search results - page 306 / 939 » Verifying Hybrid Systems |
187
Voted
EDBT
2006
ACM
16 years 6 months ago
2006
ACM
Current methods for selectivity estimation fall into two broad categories, synopsis-based and sampling-based. Synopsis-based methods, such as histograms, incur minimal overhead at ...
188
click to vote
MSS
2007
IEEE
16 years 29 days ago
2007
IEEE
The high demand for large scale storage capacity calls for the availability of massive storage solutions with high performance interconnects. Although cluster file systems are rap...
194
click to vote
AGENTS
1998
Springer
15 years 11 months ago
1998
Springer
The New Millennium Remote Agent NMRA will be the rst AI system to control an actual spacecraft. The spacecraft domain places a strong premium on autonomy and requires dynamic reco...
210
click to vote
SIGGRAPH
1996
ACM
15 years 10 months ago
1996
ACM
We present a new approach for modeling and rendering existing architectural scenes from a sparse set of still photographs. Our modeling approach, which combines both geometry-base...
183
click to vote
SCA
2007
15 years 9 months ago
2007
Although mesh-based methods are efficient for simulating simple hyperelasticity, maintaining and adapting a mesh-based representation is less appealing in more complex scenarios, ...