Sciweavers

2845 search results - page 351 / 569
» Constraints over Ontologies
Sort
View
WICSA
2001
13 years 11 months ago
Annotating Reusable Software Architectures with Specialization Patterns
An application framework is a collection of classes implementing the shared architecture of a family of applications. It is shown how the specialization interface ("hot spots...
Markku Hakala, Juha Hautamäki, Kai Koskimies,...
WSC
2004
13 years 11 months ago
Agent - Based Model of Auftragstaktik: Self Organization in Command and Control of Future Combat Forces
Agent-based modeling is a framework that allows the analysis of distributed command-by-influence using mission-type orders known for over a century as Auftragstaktik in German Arm...
Robert H. Kewley
FMOODS
2000
13 years 11 months ago
On a Temporal Logic for Object-Based Systems
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...
Dino Distefano, Joost-Pieter Katoen, Arend Rensink
EACL
1989
ACL Anthology
13 years 11 months ago
Expressing generalizations in unification-based grammar formalisms
This paper shows how higher levels of generalization can be introduced into unification grammars by exploiting methods for typing grammatical objects. We discuss the strategy of u...
Marc Moens, Jonathan Calder, Ewan Klein, Mike Reap...
AAAI
1990
13 years 11 months ago
An Organizational Approach to Adaptive Production Systems
Recently-developed techniques have improved the performance of production systems several times over. However, these techniques are not yet adequate for continuous problem solving...
Toru Ishida, Makoto Yokoo, Les Gasser