840 search results - page 14 / 168 » XML: From Practice to Theory |
AI
2005
Springer
13 years 7 months ago
2005
Springer
In this paper, we propose a practical framework for characterizing, evaluating and selecting reformulation techniques for reasoning about physical systems, with the long-term goal...
IADIS
2003
13 years 9 months ago
2003
The authors introduce a decision chart previously developed to identify web site features that would be suitable for small businesses in their interactions with customers. The dec...
RECOMB
2004
Springer
14 years 8 months ago
2004
Springer
We present new methods for reconstructing reticulate evolution of species due to events such as horizontal transfer or hybrid speciation; both methods are based upon extensions of...
CP
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. We study the experimental consequences of a recent theoretical result by Achlioptas et al. that shows that conventional models of random problems are trivially insoluble ...
KI
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Many heuristic estimators for classical planning are based on the socalled delete relaxation, which ignores negative effects of planning operators. Ideally, such heuristi...