1699 search results - page 120 / 340 » On the Expressive Power of QLTL |
168
click to vote
PVLDB
2008
15 years 5 months ago
2008
This paper describes a unification of two different SQL extensions for streams and its associated semantics. We use the data models from Oracle and StreamBase as our examples. Ora...
171
click to vote
PVLDB
2008
15 years 5 months ago
2008
Abstract Existing solutions to the automated physical design problem in database systems attempt to minimize execution costs of input workloads for a given storage constraint. In t...
179
click to vote
FUIN
2010
15 years 5 months ago
2010
Intelligent agents require methods to revise their epistemic state as they acquire new information. Jeffrey’s rule, which extends conditioning to probabilistic inputs, is appropr...
196
click to vote
JLP
2008
15 years 4 months ago
2008
Coordination languages were introduced in the early 80's as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras...
182
click to vote
IJAOSE
2010
15 years 4 months ago
2010
CASO is an agent-oriented programming language based on AgentSpeak(L), one of the most influential abstract languages based on the BDI (Beliefs-Desires-Intentions) architecture. ...