2526 search results - page 99 / 506 » A New Algorithm for Answer Set Computation |
187
Voted
ICDE
2006
IEEE
16 years 3 months ago
2006
IEEE
In a number of emerging streaming applications, the data values that are produced have an associated time interval for which they are valid. A useful computation over such streami...
101
click to vote
APN
2009
Springer
15 years 6 months ago
2009
Springer
We present a symbolic method for p-semiflow computation, based on zero-suppressed decision diagrams. Both the traditional explicit methods and our new symbolic method rely on Farka...
104
click to vote
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
We present a new method for instance-specific algorithm configuration (ISAC). It is based on the integration of the algorithm configuration system GGA and the recently proposed sto...
184
Voted
EDBT
2008
ACM
16 years 2 months ago
2008
ACM
Data exchange is the problem of transforming data structured under a schema (called source) into data structured under a different schema (called target). The emphasis of data exc...
118
click to vote
JCP
2008
15 years 2 months ago
2008
Embedded systems have an ever-increasing need for optimizing compilers to produce high quality codes with a limited general purpose register set. Either memory or registers are use...