2517 search results - page 49 / 504 » Specifying Weak Sets |
ICSEA
2008
IEEE
15 years 6 months ago
2008
IEEE
Despite progress in model engineering, modeling large distributed systems is still a long and complex task. This paper outlines a methodology based on UML to make the modeling of ...
MICCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We show that a simple probabilistic modelling of the registration problem for surfaces allows to solve it by using standard clustering techniques. In this framework, poin...
AMAI
2006
Springer
14 years 12 months ago
2006
Springer
In nonmonotonic reasoning, a default conditional has most often been informally interpreted as a defeasible version of a classical conditional, usually the material conditional...
132
click to vote
SPATIALCOGNITION
2000
Springer
15 years 3 months ago
2000
Springer
The paper analyzes a diagrammatic reasoning problem that consists in finding a graphical layout which simultaneously satisfies a set of constraints expressed in a formal language a...
121
click to vote
CONCUR
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...