118 search results - page 21 / 24 » Implementation of State Elimination Using Heuristics |
124
Voted
IJCAI
2003
15 years 4 months ago
2003
There is controversy as to whether explicit support for PDDL-like axioms and derived predicates is needed for planners to handle real-world domains effectively. Many researchers h...
132
Voted
EDBT
2006
ACM
16 years 2 months ago
2006
ACM
Federated queries are regular relational queries accessing data on one or more remote relational or non-relational data sources, possibly combining them with tables stored in the ...
128
Voted
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
Monads are commonplace programming devices that are used to uniformly structure computations with effects such as state, exceptions, and I/O. This paper further develops the monad...
152
Voted
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
We introduce a stochastic model that describes the quasistatic dynamics of an electric transmission network under perturbations introduced by random load fluctuations, random rem...
127
Voted
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...