507 search results - page 48 / 102 » Counterexample-Guided Abstraction Refinement |
172
click to vote
CAV
1998
Springer
15 years 10 months ago
1998
Springer
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
169
click to vote
WCRE
1996
IEEE
15 years 10 months ago
1996
IEEE
The process of software development is gradually achieving more rigor. Proficient developers now construct indirectly through the abstraction of models. Models allow a developer t...
160
click to vote
COSIT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a methodology of how to use a top-level ontology to create a domain ontology from existing scientific texts by (1) identifying informal definitions of domain-s...
177
click to vote
EDUTAINMENT
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. This paper presents a strategy of dynamic user modeling for sketchbased user interface. A user model is defined as an incremental decision tree for a specific user. A dra...
161
click to vote
DICTA
2003
15 years 7 months ago
2003
Abstract. A multi-resolution image matching technique based on multiwavelets followed by a coarse to fine strategy is presented. The technique addresses the estimation of optimal c...