797 search results - page 89 / 160 » Observing Success in the Pi-Calculus |
AOSD
2007
ACM
15 years 1 months ago
2007
ACM
Design patterns aim at improving reusability and variability of object-oriented software. Despite a notable success, aspect-oriented programming (AOP) has been discussed recently ...
124
click to vote
CEC
2007
IEEE
15 years 1 months ago
2007
IEEE
For a mobile robot to move in a known environment and operate successfully, first it needs to robustly determine its initial position and orientation relative to the map, and then ...
CAV
2010
Springer
15 years 1 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
Developing scalable algorithms for solving partially observable Markov decision processes (POMDPs) is an important challenge. One promising approach is based on representing POMDP...
138
click to vote
CVPR
2006
IEEE
15 years 1 months ago
2006
IEEE
Recently proposed Sobolev active contours introduced a new paradigm for minimizing energies defined on curves by changing the traditional cost of perturbing a curve and thereby re...