1116 search results - page 176 / 224 » Applying Predicate Abstraction to Abstract State Machines |
108
click to vote
BIRTHDAY
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents a new model for mobile processes in occam-π. A process, embedded anywhere in a dynamically evolving network, may suspend itself mid-execution, be safely discon...
140
click to vote
KI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. DTGolog was proposed by Boutilier et al. as an integration of decision-theoretic (DT) planning and the programming language Golog. Advantages include the ability to handl...
136
Voted
PCM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Due to its great ability of conquering clutters, which is especially useful for high-dimensional tracking problems, particle filter becomes popular in the visual trackin...
113
Voted
BIRTHDAY
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Bounded fairness is a stronger notion than ordinary eventuality-based fairness, one that guarantees occurrence of an event within a fixed number of occurrences of anothe...
97
Voted
ICCS
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. The results of analytical approximations and extensive calculations based on a path integral Monte Carlo (PIMC) scheme are presented. A new (direct) PIMC method allows fo...