1117 search results - page 157 / 224 » Partial Models of Extended Generalized Logic Programs |
103
click to vote
IJCSA
2007
14 years 11 months ago
2007
Preference-based queries often referred to as skyline queries play an important role in cooperative query processing. However, their prohibitive result sizes pose a severe challen...
124
click to vote
PEPM
2011
ACM
14 years 2 months ago
2011
ACM
Navigating through tree structures is a core operation in tree processing programs. Most notably, XML processing programs intensively use XPath, the path specification language t...
DAC
2007
ACM
16 years 20 days ago
2007
ACM
Modern combinational equivalence checking (CEC) engines are complicated programs which are difficult to verify. In this paper we show how a modern CEC engine can be modified to pr...
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
In the literature on agent systems, the proactive behavior of agents is often modeled in terms of goals that the agents pursue. We review a number of commonly-used existing goal t...
118
click to vote
JCB
2006
14 years 11 months ago
2006
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...