9405 search results - page 381 / 1881 » Computing a Model of Set Theory |
132
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— The paper deals with computing frictional forceclosure grasps of 3D objects problem. The key idea of the presented work is the demonstration that wrenches associated to...
171
click to vote
MOBIQUITOUS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— In this paper we present the design and implementation of a space service that gives pervasive computing applications both a hierarchical and coordinate-based view of p...
161
click to vote
ATAL
2003
Springer
16 years 23 hour ago
2003
Springer
This paper introduces a methodology to help the programmer in the transition from a set of desired global properties expressed as an equation-based model (EBM) that a Multi-Agent ...
159
click to vote
APN
2009
Springer
15 years 10 months ago
2009
Springer
We present a symbolic method for p-semiflow computation, based on zero-suppressed decision diagrams. Both the traditional explicit methods and our new symbolic method rely on Farka...
170
click to vote
AAAI
2000
15 years 8 months ago
2000
We analyze a corpus of referring expressions collected from user interactions with a multimodal travel guide application. The analysis suggests that, in dramatic contrast to norma...