3342 search results - page 285 / 669 » Automating Abstract Interpretation |
217
Voted
CADE
2002
Springer
16 years 4 months ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
136
Voted
ICMT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In Model-Driven Engineering models and metamodels are not preserved from the evolutionary pressure which inevitably affects almost any artefacts. Moreover, the coupling b...
137
Voted
IJCNN
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— Meta-learning helps us find solutions to computational intelligence (CI) challenges in automated way. Metalearning algorithm presented in this paper is universal and m...
118
Voted
IJCNN
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— In this paper, automated micro-sized objects manipulation is investigated. The novelty of the proposed method lies on the compensation of all the nonlinear scaling forc...
143
Voted
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...