157 search results - page 12 / 32 » Passing Messages to Lonely Numbers |
ECOOP
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
IJCAI
2003
14 years 11 months ago
2003
Query answering over commonsense knowledge bases typically employs a first-order logic theorem prover. While first-order inference is intractable in general, provers can often b...
100
click to vote
RULEML
2010
Springer
14 years 8 months ago
2010
Springer
Semantic Web services achieve effects in the world through Web services, so the mechanism connecting the ontological representations of services with the on-the-wire messages—th...
CORR
2011
Springer
14 years 5 months ago
2011
Springer
In this paper we consider the problem of monitoring detecting separation of agents from a base station in robotic and sensor networks. Such separation can be caused by mobility an...
CVPR
2012
IEEE
13 years 13 days ago
2012
IEEE
We propose an energy-based framework for approximating surfaces from a cloud of point measurements corrupted by noise and outliers. Our energy assigns a tangent plane to each (noi...