9687 search results - page 1841 / 1938 » On Natural Mobility Models |
137
click to vote
ENTCS
2008
15 years 4 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
171
click to vote
AROBOTS
2006
15 years 4 months ago
2006
Because of their ability to naturally float in the air, indoor airships (often called blimps) constitute an appealing platform for research in aerial robotics. However, when confr...
139
click to vote
BC
2006
15 years 4 months ago
2006
Abstract Multiple sensory-motor maps located in the brainstem and the cortex are involved in spatial orientation. Guiding movements of eyes, head, neck and arms they provide an app...
170
click to vote
CGF
2006
15 years 4 months ago
2006
Level-of-detail modeling is a vital representation for real-time applications. To support texture mapping progressive meshes (PM), we usually allow the whole PM sequence to share ...
152
click to vote
DATAMINE
2006
15 years 4 months ago
2006
Efficiently detecting outliers or anomalies is an important problem in many areas of science, medicine and information technology. Applications range from data cleaning to clinica...