Sciweavers

390 search results - page 77 / 78
» Hybrid Control as a Method for Robot Motion Programming
Sort
View
HICSS
1998
IEEE
128views Biometrics» more  HICSS 1998»
13 years 9 months ago
A Situation Calculus Model of Hypertext
We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hyperte...
Richard B. Scherl, Michael Bieber, Fabio Vitali
CEC
2009
IEEE
14 years 1 days ago
What is situated evolution?
—In this paper we discuss the notion of situated evolution. Our treatment includes positioning situated evolution on the map of evolutionary processes in terms of time- and space...
Martijn C. Schut, Evert Haasdijk, A. E. Eiben
ICRA
2006
IEEE
150views Robotics» more  ICRA 2006»
13 years 11 months ago
Navigation of Unmanned Marine Vehicles in Accordance with the Rules of the Road
Abstract— This paper is concerned with the in-field autonomous operation of unmanned marine vehicles in accordance with convention for safe and proper collision avoidance as pre...
Michael R. Benjamin, Joseph A. Curcio, John J. Leo...
ICMI
2003
Springer
131views Biometrics» more  ICMI 2003»
13 years 10 months ago
TorqueBAR: an ungrounded haptic feedback device
Kinesthetic feedback is a key mechanism by which people perceive object properties during their daily tasks – particularly inertial properties. For example, transporting a glass...
Colin Swindells, Alex Unden, Tao Sang
SAS
1999
Springer
106views Formal Methods» more  SAS 1999»
13 years 9 months ago
Translating Out of Static Single Assignment Form
Programs represented in Static Single Assignment (SSA) form contain phi instructions (or functions) whose operational semantics are to merge values coming from distinct control flo...
Vugranam C. Sreedhar, Roy Dz-Ching Ju, David M. Gi...