Symbolic reasoning is a well understood and effective approach to handling reasoning over formally represented knowledge; however, simple symbolic inference systems necessarily sl...
Matthew E. Taylor, Cynthia Matuszek, Pace Reagan S...
: Safety is now a major concern in many complex systems such as medical robots. A way to control the complexity of such systems is to manage risk. The first and important step of t...
Learning patterns of human behavior from sensor data is extremely important for high-level activity inference. We show how to extract and label a personās activities and signiļ¬...
The increasing complexity and the short life cycles of embedded systems are pushing the current system-onchip designs towards a rapid increasing on the number of programmable proc...
Alexandre M. Amory, Marcelo Lubaszewski, Fernando ...
We study greedy routing over n nodes placed in a ring, with the distance between two nodes deļ¬ned to be the clockwise or the absolute distance between them along the ring. Such ...