3104 search results - page 613 / 621 » Competence-Based EE-Learning: (How) Can We Implement It |
151
click to vote
FMCAD
2004
Springer
15 years 8 months ago
2004
Springer
This work presents a memory-efficient All-SAT engine which, given a propositional formula over sets of important and non-important variables, returns the set of all the assignments...
212
click to vote
CAV
2003
Springer
15 years 8 months ago
2003
Springer
odular Abstraction Refinement Thomas A. Henzinger1 , Ranjit Jhala1 , Rupak Majumdar1 , and Shaz Qadeer2 1 University of California, Berkeley 2 Microsoft Research, Redmond Abstract....
151
click to vote
FOSSACS
2008
Springer
15 years 5 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
194
click to vote
DAGSTUHL
1998
15 years 5 months ago
1998
Localization is one of the fundamental problems in mobile robotics. Without knowledge about their position mobile robots cannot e ciently carry out their tasks. In this paper we pr...
127
click to vote
DAGSTUHL
1997
15 years 5 months ago
1997
This paper describes and demonstrates the e ectiveness of several metrics for data level comparison of direct volume rendering (DVR) algorithms. The focus is not on speed ups from...