896 search results - page 39 / 180 » Restriction categories I: categories of partial maps |
ATAL
2006
Springer
14 years 15 days ago
2006
Springer
In this paper we propose a formalism for symbolic negotiation. We regard symbolic negotiation as cooperative problem solving (CPS), which is based on symbolic reasoning and is ext...
VRST
2006
ACM
14 years 2 months ago
2006
ACM
This paper studies the usage of the GPU as a collection of groups of related processing units, where each group communicates in some way to complete a computation efficiently and...
VVS
2000
IEEE
14 years 1 months ago
2000
IEEE
Volumetric energy backprojection captures the effects of myriad physical processes including global illumination and reconstruction. We present a method to perform efficient volu...
CALCO
2011
Springer
12 years 8 months ago
2011
Springer
This paper extends the fibrational approach to induction and coinduction pioneered by Hermida and Jacobs, and developed by the current authors, in two key directions. First, we pr...
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
— Service robots designed for domestic settings need to navigate in an environment that they have to share with their users. Thus, they have to be able to report their current st...