Sciweavers

674 search results - page 97 / 135
» Toward Self-Stabilizing Operating Systems
Sort
View
85
Voted
ICCS
2004
Springer
15 years 3 months ago
Distributed Collaborative Adaptive Sensing for Hazardous Weather Detection, Tracking, and Predicting
A new data-driven approach to atmospheric sensing and detecting/ predicting hazardous atmospheric phenomena is presented. Dense networks of small high-resolution radars are deploye...
Jerry Brotzge, V. Chandresakar, Kelvin Droegemeier...
70
Voted
ICRA
2010
IEEE
150views Robotics» more  ICRA 2010»
14 years 9 months ago
Balancing state-space coverage in planning with dynamics
— Sampling-based kinodynamic planners, such as the popular RRT algorithm, have been proposed as promising solutions to planning for systems with dynamics. Nevertheless, complex s...
Yanbo Li, Kostas E. Bekris
CSFW
2006
IEEE
15 years 4 months ago
Information-Flow Security for Interactive Programs
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
Kevin R. O'Neill, Michael R. Clarkson, Stephen Cho...
FMCO
2005
Springer
156views Formal Methods» more  FMCO 2005»
15 years 4 months ago
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
ICRA
2000
IEEE
192views Robotics» more  ICRA 2000»
15 years 2 months ago
Robust Localization for 3D Object Recognition Using Local EGI and 3D Template Matching with M-Estimators
A tele-operated system in a robot greatly reduces the demands on the human operator, although some human intervention is still required to perform such tasks as insulator recognit...
Kentaro Kawamura, Kiminori Hasegawa, Yasuyuki Some...