1422 search results - page 86 / 285 » Complementation in Abstract Interpretation |
138
Voted
ISMIS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. One of the virtues of XML is that it allows complex structures to be easily expressed. This allows XML to be used as an intermediate, neutral, and standard form for repre...
142
click to vote
ICFCA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Among many other knowledge representations formalisms, Ontologies and Formal Concept Analysis (FCA) aim at modeling ‘concepts’. We discuss how these two formalisms ma...
165
click to vote
CAIP
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In this paper we integrate colour, texture, and motion into a segmentation process. The segmentation consists of two steps, which both combine the given information: a pr...
125
click to vote
FOSSACS
2003
Springer
15 years 9 months ago
2003
Springer
In previous work we have investigated a notion of approximate bisimilarity for labelled Markov processes. We argued that such a notion is more realistic and more feasible to compu...
151
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. In many cases, human actions can be identified not only by the singular observation of the human body in motion, but also properties of the surrounding scene and the rel...