3931 search results - page 360 / 787 » Separation logic and abstraction |
272
click to vote
ISMVL
2010
IEEE
15 years 12 months ago
2010
IEEE
We outline DL-Media, an ontology mediated multimedia information retrieval system, which combines logic-based retrieval with multimedia featurebased similarity retrieval. An ontolo...
199
click to vote
CL
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general object-oriented m...
202
click to vote
COLT
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. A brief overview is given of recent results on theory revision with queries for propositional formulas, such as monotone and unate DNF, Horn formulas, read-once formulas,...
150
click to vote
SAFECOMP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Safety systems for railways have shifted from electronic relays to more computer-oriented approaches. This article highlights the language EURIS from NS Railinfrabeheer, ...
157
click to vote
ATAL
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We address the problem of constructing multiagent systems by coordinating autonomous agents, whose internal designs may not be fully known. We develop a customizable coor...