2243 search results - page 106 / 449 » Contracts for Mobile Processes |
157
click to vote
ICLP
2010
Springer
15 years 2 months ago
2010
Springer
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
125
click to vote
CIMAGING
2009
15 years 1 months ago
2009
Color image demosaicking is a key process in the digital imaging pipeline. In this paper, we present a rigorous treatment of a classical demosaicking algorithm based on alternatin...
132
click to vote
RAS
2007
15 years 3 months ago
2007
In this paper, a modified method for occupancy grid map building by a moving mobile robot and a scanning ultrasonic range-finder is proposed. The map building process consists o...
143
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— We introduce an algorithm which detects and traces a specified level set of a scalar field (a contour) on a plane. A network of static sensor nodes with limited communication...
143
click to vote
DASFAA
2003
IEEE
15 years 9 months ago
2003
IEEE
Peer-to-peer (P2P) technology can be naturally integrated with mobile agent technology in Internet applications, taking advantage of the autonomy, mobility, and efficiency of mobi...