3342 search results - page 84 / 669 » Automating Abstract Interpretation |
MODELS
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. In recent years, OCL advanced from a language used to constrain UML models to a constraint language that is applied to various modelling languages. This includes Domain S...
110
click to vote
AIMSA
2008
Springer
15 years 5 months ago
2008
Springer
In order to build an intelligent system that allows human beings to cooperate with a computing machine to perform a given task it is important to account for the individual charact...
106
Voted
ACCV
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper proposes a fast method for dense 3-D interpretation to directly estimate a dense map of relative depth and motion from a monocular sequence of images on large ...
KI
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Analysing human behavior is a key step in smart home applications. Many reasoning approaches utilize information of location and posture of the occupant in qualitative as...
OTM
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In P2P data management systems, semantic interoperability between any two peers that do not share the same ontology relyes on ontology matching. The established correspon...