6709 search results - page 1302 / 1342 » Performance Modelling of the Computational Hardware: A Stati... |
150
Voted
EDBT
2009
ACM
15 years 3 months ago
2009
ACM
Range queries for querying the current and future positions of the moving objects have received growing interests in the research community. Existing methods, however, assume that...
102
click to vote
DLOG
2007
15 years 2 months ago
2007
Abstract. The Chemical Formulation Problem (Compounding Problem) consists in modifying the chemical formulation of a compound in order to obtain a new compound showing a set of des...
106
click to vote
APLAS
2008
ACM
15 years 2 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
97
Voted
AAAI
2004
15 years 1 months ago
2004
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance boo...
95
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
Requirements Driven Agent Collaboration (RDAC) is a mechanism where the self-interested service agents actively and autonomously search for the required services submitted by the ...