1676 search results - page 240 / 336 » Formal System Development with KIV |
126
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
Decentralized MDPs provide a powerful formal framework for planning in multi-agent systems, but the complexity of the model limits its usefulness. We study in this paper a class o...
123
click to vote
ER
2001
Springer
15 years 9 months ago
2001
Springer
Abstract Spatio-temporal extensions to data models have been an active area of research for a number of years. To date, much of this work has focused on the relational data model, ...
122
click to vote
DEXAW
2000
IEEE
15 years 9 months ago
2000
IEEE
Given their simple nature, the success of keyword based retrieval systems is astonishing. Although these methods seemingly only process words (and their word counts), they rely on...
147
click to vote
COSIT
1997
Springer
15 years 8 months ago
1997
Springer
Current geographic information systems (GISs) have been designed for querying and maintaining static databases representing static phenomena and give little support to those users ...
134
click to vote
ECOOPW
1997
Springer
15 years 8 months ago
1997
Springer
An object-oriented (OO) model has a static component, the set of allowable snapshots or system states, and a dynamic component, the set of filmstrips or sequences of snapshots. Dia...