53 search results - page 8 / 11 » A callgraph-based search strategy for automated performance ... |
KR
2000
Springer
13 years 11 months ago
2000
Springer
Large-scale ontologies are becoming an essential component of many applications including standard search (such as Yahoo and Lycos), ecommerce (such as Amazon and eBay), configura...
IAT
2009
IEEE
13 years 11 months ago
2009
IEEE
Information about the opponent is essential to improve automated negotiation strategies for bilateral multiissue negotiation. In this paper we propose a negotiation strategy that e...
ILP
2000
Springer
13 years 11 months ago
2000
Springer
Induction of recursive theories in the normal ILP setting is a complex task because of the non-monotonicity of the consistency property. In this paper we propose computational solu...
GIS
2008
ACM
14 years 8 months ago
2008
ACM
In this paper, we consider the following scenario: a set of mobile objects continuously track their positions in a road network and are able to communicate with a central server. ...
CADE
2006
Springer
14 years 7 months ago
2006
Springer
Abstract. The inverse method is a generalization of resolution that can be applied to non-classical logics. We have recently shown how Andreoli's focusing strategy can be adap...