2020 search results - page 102 / 404 » Speeding up Slicing |
105
click to vote
ECAI
1994
Springer
15 years 4 months ago
1994
Springer
This paper introduces a simple yete ective method for using causal domain knowledge for learning to control dynamic systems. Elementary qualitative causal dependencies of the domai...
75
Voted
ACMACE
2007
ACM
15 years 4 months ago
2007
ACM
We present the pervasive game Insectopia, which have been designed by the approach of utilizing commercially available mobile phones to provide context-dependent gameplay. The des...
82
Voted
SAT
2010
Springer
15 years 4 months ago
2010
Springer
Assignment stack shrinking is a technique that is intended to speed up the performance of modern complete SAT solvers. Shrinking was shown to be efficient in SAT’04 competition w...
101
click to vote
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
We propose a new arithmetic reasoning calculus to speed up a SAT solver based on the Davis Putnam Longman Loveland (DPLL) procedure. It is based on an arithmetic bit level descrip...
122
Voted
ECOOP
2006
Springer
15 years 4 months ago
2006
Springer
This paper briefly describes the design of a dynamic adaptation management framework exploiting the concepts provided by Aspect-Oriented Software Development (AOSD) -in particular ...