9405 search results - page 1346 / 1881 » Computing a Model of Set Theory |
157
click to vote
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
We describe an approach to automate certain highlevel implementation decisions in a pervasive application, allowing them to be postponed until run time. Our system enables a model...
168
click to vote
HAPTICS
2006
IEEE
16 years 1 months ago
2006
IEEE
The development and evaluation of haptic rendering algorithms presents two unique challenges. Firstly, the haptic information channel is fundamentally bidirectional, so the output...
185
click to vote
ICDAR
2005
IEEE
16 years 19 days ago
2005
IEEE
This paper describes the development of a new document ranking system based on layout similarity. The user has a need represented by a set of ”wanted” documents, and the syste...
175
click to vote
ICFEM
2004
Springer
16 years 12 days ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
218
click to vote
ICRA
2003
IEEE
16 years 9 days ago
2003
IEEE
— In this paper we present a novel method for robot path planning based on learning motion patterns. A motion pattern is defined as the path that results from applying a set of ...