877 search results - page 130 / 176 » How to Cover a Grammar |
162
click to vote
VLDB
2005
ACM
16 years 6 days ago
2005
ACM
We study the problem of applying adaptive filters for approximate query processing in a distributed stream environment. We propose filter bound assignment protocols with the obj...
153
click to vote
ELPUB
2004
ACM
16 years 5 days ago
2004
ACM
Personalization was a hype in the late 1990s. Several organizations offered (and are still offering) personalization services for their customers. From ecommerce applications we...
161
click to vote
ICLP
2004
Springer
16 years 3 days ago
2004
Springer
The extended answer set semantics for logic programs allows for the defeat of rules to resolve contradictions. We propose a refinement of these semantics based on a preference rel...
209
click to vote
JELIA
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
185
click to vote
LICS
2003
IEEE
16 years 13 hour ago
2003
IEEE
We present a constructive procedure for extracting polynomial-time realizers from ineffective proofs of Π0 2theorems in feasible analysis. By ineffective proof we mean a proof wh...