4209 search results - page 254 / 842 » Abstract Dialectical Frameworks |
160
click to vote
ISSE
2010
15 years 5 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
159
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. A description of a novel domain-independent framework that automatically generates and fades scaffolding supports for task-oriented learning within exploratory environmen...
170
click to vote
EMMCVPR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The goal of this paper is to present a novel recipe for deformable image registration under varying illumination, as a natural extension of the demons algorithm. This gen...
182
click to vote
ICIC
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. In this paper, a general framework of quantum-inspired multiobjective evolutionary algorithms is proposed based on the basic principles of quantum computing and general s...
174
click to vote
OTM
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We propose an integrated architecture, extending a framework for fine grained access control of Grid computational services, with an inference engine managing reputation...