3973 search results - page 696 / 795 » Records for Logic Programming |
122
Voted
ICALP
2000
Springer
15 years 7 months ago
2000
Springer
We consider two natural generalizations of the notion of transversal to a finite hypergraph, arising in data-mining and machine learning, the so called multiple and partial transve...
133
Voted
AIPS
2008
15 years 5 months ago
2008
Dynamic programming algorithms have been successfully applied to propositional stochastic planning problems by using compact representations, in particular algebraic decision diag...
106
Voted
ICALP
2010
Springer
15 years 5 months ago
2010
Springer
We investigate the parameterized computational complexity of the satisfiability problem for modal logic and attempt to pinpoint relevant structural parameters which cause the probl...
128
Voted
CODES
2008
IEEE
15 years 5 months ago
2008
IEEE
Functional validation is a major bottleneck in microprocessor design methodology. Simulation is the widely used method for functional validation using billions of random and biase...
122
click to vote
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Rather than upgrading a software system to the next version by installing a new binary, software systems could be updated "on-thefly" during their execution. We are devel...