2243 search results - page 178 / 449 » Contracts for Mobile Processes |
137
click to vote
ASPDAC
2004
ACM
15 years 10 months ago
2004
ACM
This paper describes a sub-mW motion estimation processor core for MPEG-4 video encoding. It features a Gradient Descent Search algorithm whose computation power is only 7% of the...
172
click to vote
FMCO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
122
click to vote
AAAI
1996
15 years 5 months ago
1996
Any model of the world a robot constructs on the basis of its sensor data is necessarily both incomplete, due to the robot's limited window on the world, and uncertain, due t...
122
click to vote
IJEB
2008
15 years 4 months ago
2008
: Communication services are currently confronted with large changes due to the price erosion of services and the entry of new service providers. The gap has been filled with diffe...
167
click to vote
FUIN
2010
15 years 1 months ago
2010
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...