2268 search results - page 296 / 454 » The Essence of Form Abstraction |
140
click to vote
AGTIVE
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
119
click to vote
CAV
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...
139
Voted
CIKM
2003
Springer
15 years 7 months ago
2003
Springer
There have been several techniques proposed for building statistics for static XML data. However, very little work has been done in the area of building XML statistics for data so...
CONTEXT
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. In a previous paper, we proposed a first formal and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic of Context ...
111
click to vote
CP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. This paper offers a critique of the framework of Constraint Satisfaction Problems. While this framework has been successful in studying search techniques, and has inspire...