9405 search results - page 381 / 1881 » Computing a Model of Set Theory |
152
Voted
ICRA
2009
IEEE
16 years 2 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...
197
Voted
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...
185
click to vote
ATAL
2003
Springer
16 years 20 days 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 ...
173
Voted
APN
2009
Springer
15 years 11 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...
192
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...