4866 search results - page 359 / 974 » UML for Global Computing |
189
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Impossible futures equivalence is the semantic equivalence on labelled transition systems that identifies systems iff they have the same "AGEF" properties: temporal logic...
203
Voted
ICRA
1994
IEEE
15 years 10 months ago
1994
IEEE
A dynamic simulation package has been developed which can accurately model the interactions between robots and their environment. It creates a virtual environment in which various...
200
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Image segmentation and figure/ground organization are fundamental steps in visual perception. This paper introduces an algorithm that couples these tasks together in a s...
178
click to vote
AAAI
2008
15 years 9 months ago
2008
We formulate loop formulas for logic programs with arbitrary constraint atoms, for the semantics based on conditional satisfaction. This provides a method for answer set computati...
166
click to vote
DCAI
2008
15 years 8 months ago
2008
Case-Based Reasoning is a methodology that uses information that has been considered as valid in previous situations to solve new problems. That use of the information allows CBR s...