1024 search results - page 140 / 205 » Compositional Methods for Probabilistic Systems |
APLAS
2008
ACM
13 years 9 months ago
2008
ACM
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
BIS
2009
13 years 9 months ago
2009
The EU Services Directive aims at easing the burdens for the EU's citizens to open up new businesses by providing a single-point-of-contact for the complete business lifecycle...
INFORMATICALT
2008
13 years 7 months ago
2008
In this paper, we present a method for describing the syntax and semantics of viewcharts. Viewcharts is a visual formalism for describing the dynamic behavior of system components....
PAMI
1998
13 years 7 months ago
1998
—Analysis and interpretation of an image which was acquired by a nonideal imaging system is the key problem in many application areas. The observed image is usually corrupted by ...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract— We present successful control strategies for dynamically stable robots that avoid low ceilings and other vertical obstacles in a manner similar to limbo dances. Given t...