Sciweavers

14056 search results - page 213 / 2812
» Consistency in Model Integration
Sort
View
TACAS
1997
Springer
87views Algorithms» more  TACAS 1997»
15 years 10 months ago
Integration in PVS: Tables, Types, and Model Checking
Abstract. We have argued previously that the e ectiveness of a veri cation system derives not only from the power of its individual features for expression and deduction, but from ...
Sam Owre, John M. Rushby, Natarajan Shankar
IJCV
2008
242views more  IJCV 2008»
15 years 6 months ago
3D Urban Scene Modeling Integrating Recognition and Reconstruction
Supplying realistically textured 3D city models at ground level promises to be useful for pre-visualizing upcoming traffic situations in car navigation systems. Because this previs...
Nico Cornelis, Bastian Leibe, Kurt Cornelis, Luc J...
IRI
2006
IEEE
16 years 17 days ago
Modeling methodology for component reuse and system integration for hurricane loss projection application
Hurricanes are one of the deadliest and perilous natural calamities on the face of earth having a severe impact both on the lives of the people and economy of a nation. Attempts h...
Kasturi Chatterjee, Khalid Saleem, Na Zhao, Min Ch...
ICRA
2005
IEEE
146views Robotics» more  ICRA 2005»
16 years 4 days ago
Integrating Tactile and Force Feedback with Finite Element Models
— Few systems have integrated the correct tactile and kinesthetic force feedback response with an accurate computational model of a compliant environment. We examine several desi...
Christopher R. Wagner, Douglas P. Perrin, Ross L. ...
AROBOTS
2010
180views more  AROBOTS 2010»
15 years 6 months ago
Reactive direction control for a mobile robot: a locust-like control of escape direction emerges when a bilateral pair of model
Locusts possess a bilateral pair of uniquely identifiable visual neurons that respond vigorously to the image of an approaching object. These neurons are called the lobula giant m...
Shigang Yue, Roger D. Santer, Yoshifumi Yamawaki, ...