3552 search results - page 620 / 711 » Proof theory in the abstract |
177
click to vote
CAV
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
184
click to vote
DNA
2007
Springer
16 years 16 days ago
2007
Springer
While algorithmic DNA self-assembly is, in theory, capable of forming complex patterns, its experimental demonstration has been limited by significant assembly errors. In this pa...
154
click to vote
ECOOP
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. In many domains, classes have highly regular internal structure. For example, so-called business objects often contain boilerplate code for mapping database fields to cl...
173
click to vote
ECSQARU
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. The Transferable Belief Model (TBM) relies on belief functions and enables one to represent and combine a variety of knowledge from certain up to ignorance as well as con...
168
click to vote
ECTEL
2007
Springer
2007
Springer
Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture
16 years 16 days ago
Abstract. We present a service-oriented personalization system, set in an educational framework, based on a semantic annotation of courses, given at a knowledge level (what the cou...