Sciweavers

5205 search results - page 867 / 1041
» Tilings and model theory
Sort
View
ISCIS
2004
Springer
15 years 12 months ago
Biological Metaphors for Agent Behavior
A wide variety of practical problems related to the interaction of agents can be examined using biological metaphors. This paper applies the theory of G-networks to agent systems b...
Erol Gelenbe, Varol Kaptan, Yu Wang
KR
2004
Springer
15 years 12 months ago
Discovering State Invariants
We continue to advocate a methodology that we used earlier for pattern discovery through exhaustive search in selected small domains. This time we apply it to the problem of disco...
Fangzhen Lin
OTM
2004
Springer
15 years 12 months ago
Revising and Managing Multiple Ontology Versions in a Possible Worlds Setting
Abstract. To date, ontology research seems to have come to an equilibrium: there is a wide variety of theories, methods and tools for extracting, representing, storing and browsing...
Pieter De Leenheer
PPSN
2004
Springer
15 years 12 months ago
Experimental Supplements to the Theoretical Analysis of EAs on Problems from Combinatorial Optimization
It is typical for the EA community that theory follows experiments. Most theoretical approaches use some model of the considered evolutionary algorithm (EA) but there is also some ...
Patrick Briest, Dimo Brockhoff, Bastian Degener, M...
WDAG
2004
Springer
88views Algorithms» more  WDAG 2004»
15 years 12 months ago
Nonblocking Concurrent Data Structures with Condition Synchronization
We apply the classic theory of linearizability to operations that must wait for some other thread to establish a precondition. We model such an operation as a request and a follow-...
William N. Scherer III, Michael L. Scott