Sciweavers

5 search results - page 1 / 1
» Finding All Door Locations that Make a Room Searchable
Sort
View
IJCGA
2010
99views more  IJCGA 2010»
13 years 3 months ago
Finding All Door Locations that Make a Room Searchable
—A room is a simple polygon with a prespecified point, called the door, on its boundary. Search may be conducted by two guards on the boundary who keep mutual visibility at all ...
Tsunehiko Kameda, John Z. Zhang
IROS
2006
IEEE
106views Robotics» more  IROS 2006»
13 years 10 months ago
Where to Build a Door
— A room is a simple polygon with a prespecified point, called the door, on its boundary. Search starts at the door, and must detect any intruder that may be in the room, while ...
John Z. Zhang, Tsunehiko Kameda
COLING
1992
13 years 5 months ago
On The Interpretation Of Natural Language Instructions
In this paper, we dLscuss the approach we take to the interpretation of instructions. Instructions describe actions related to each other and to other goals the agent may have; ou...
Barbara Di Eugenio, Michael White
IHI
2010
136views Healthcare» more  IHI 2010»
12 years 11 months ago
Modeling and estimating the spatial distribution of healthcare workers
This paper describes a spatial model for healthcare workers' location in a large hospital facility. Such models have many applications in healthcare, such as supporting timea...
Donald Ephraim Curtis, Christopher S. Hlady, Srira...
POPL
2003
ACM
14 years 4 months ago
From symptom to cause: localizing errors in counterexample traces
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
Thomas Ball, Mayur Naik, Sriram K. Rajamani