6315 search results - page 990 / 1263 » Approximating Solution Structure |
132
click to vote
AAAI
2008
15 years 7 months ago
2008
Recent advances in classical planning have used the SAS+ formalism, and several effective heuristics have been developed based on the SAS+ formalism. Comparing to the traditional ...
161
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
The Web contains a large amount of documents and increasingly, also semantic data in the form of RDF triples. Many of these triples are annotations that are associated with docume...
152
Voted
CHARME
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Automatic formal verification techniques generally require exponential resources with respect to the number of primary inputs of a netlist. In this paper, we present sev...
181
click to vote
ETVC
2008
15 years 6 months ago
2008
In a seminal paper, Amari (1998) proved that learning can be made more efficient when one uses the intrinsic Riemannian structure of the algorithms' spaces of parameters to po...
156
click to vote
ECSCW
2007
15 years 6 months ago
2007
: This paper considers the nature of conflict in relation to the environments within which distributed teams cooperate. Effective conflict management can bring great benefits to di...