298 search results - page 9 / 60 » Simplicity in Solving the Frame Problem |
109
click to vote
TIP
2008
15 years 1 months ago
2008
Abstract--A snakuscule (a minuscule snake) is the simplest active contour that we were able to design while keeping the quintessence of traditional snakes: an energy term governed ...
114
click to vote
AAAI
1992
15 years 2 months ago
1992
We propose a representation of concurrent actions; rather than invent a new formalism, we model them within the standard situation calculus by introducing the notions of global ac...
118
Voted
ATAL
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Control for agents situated in multi-agent systems is a complex problem. This is particularly true in hard, open, dynamic environments where resource, privacy, bandwidth,...
111
Voted
TACAS
2010
Springer
15 years 8 months ago
2010
Springer
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...
141
Voted
CLIMA
2006
15 years 3 months ago
2006
FLUX is a declarative, CLP-based programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledg...