1536 search results - page 54 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
128
click to vote
KESAMSTA
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In Multi-Agent System, observing other agents and modelling their behaviour represents an essential task: agents must be able to quickly adapt to the environment and infe...
129
Voted
GEOINFO
2003
15 years 3 months ago
2003
Relational index structures, as for instance the Relational Interval Tree, the Relational R-Tree, or the Linear Quadtree, support efficient processing of queries on top of existing...
118
click to vote
LOPSTR
2004
Springer
15 years 7 months ago
2004
Springer
This paper describes a method for proving termination of to logic programs based on abstract interpretation. The method ry-mapping pairs to abstract the relation between calls in t...
121
click to vote
ICDE
1994
IEEE
15 years 6 months ago
1994
IEEE
The relational data model is based on sets of tuples, i.e. it does not allow duplicate tuples in a relation. Many database languages and systems do require multi-set place, the hi...
165
click to vote
DASFAA
2004
IEEE
15 years 5 months ago
2004
IEEE
Relational index structures, as for instance the Relational Interval Tree or the Linear Quadtree, support efficient processing of queries on top of existing object-relational datab...