1942 search results - page 121 / 389 » Speeding Up XTR |
146
click to vote
TACAS
1997
Springer
15 years 10 months ago
1997
Springer
The Kimwitu system is a meta-tool that supports the construction of programs (tools) that operate on trees or terms. The system supports open multi-paradigm programming, in that i...
153
click to vote
EURODAC
1994
IEEE
15 years 10 months ago
1994
IEEE
The simulation of lossy transmission lines in the time domain is a very time consuming task. It requires numerical convolutions and the solution of linear and nonlinear equation s...
165
click to vote
ECAI
1994
Springer
15 years 10 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...
132
click to vote
ACMACE
2007
ACM
15 years 10 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...
139
click to vote
SAT
2010
Springer
15 years 10 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...