1667 search results - page 48 / 334 » Extended clause learning |
141
Voted
ENTCS
2006
15 years 2 months ago
2006
Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program variables are treated as resource, generalizing earlier work based on separati...
122
Voted
JAR
2002
15 years 2 months ago
2002
Satisfiability algorithms for propositional logic have improved enormously in recently years. This improvement increases the attractiveness of satisfiability methods for first-orde...
124
Voted
JLP
2010
14 years 9 months ago
2010
We present a general framework for the analysis of quantitative and qualitative properties of reactive systems, based on a notion of weighted transition systems. We introduce and ...
99
Voted
ICALT
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper explored whether a consideration of the personality type of each learner would extend collaborative learning experiences under a distant learning or e-learning environm...
89
Voted
IADIS
2004
15 years 4 months ago
2004
This paper looks at the use of Interactive Learning Objects in teaching using a number of media types, we refer to these as Multimedia Interactive Learning Objects (MILO's) T...