Sciweavers

537 search results - page 88 / 108
» A survey of homogeneous structures
Sort
View
EPEW
2005
Springer
14 years 2 months ago
A Compositional Operational Semantics for OWL-S
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
Barry Norton, Simon Foster, Andrew Hughes
ICTAC
2005
Springer
14 years 2 months ago
The Timer Cascade: Functional Modelling and Real Time Calculi
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...
Raymond T. Boute, Andreas Schäfer
MICAI
2005
Springer
14 years 2 months ago
Knowledge and Reasoning Supported by Cognitive Maps
A powerful and useful approach for modeling knowledge and qualitative reasoning is the Cognitive Map. The background of Cognitive Maps is the research about learning environments c...
Alejandro Peña Ayala, Humberto Sossa, Agust...
COMPGEOM
2004
ACM
14 years 2 months ago
The corner arc algorithm
In a landmark survey of visibility algorithms in 1974, Sutherland, Sproull, and Schumacker stated that “We believe the principal untapped source of help for hidden surface algor...
Olaf A. Hall-Holt
E4MAS
2004
Springer
14 years 2 months ago
Environments for Multiagent Systems State-of-the-Art and Research Challenges
It is generally accepted that the environment is an essential compound of multiagent systems (MASs). Yet the environment is typically assigned limited responsibilities, or even neg...
Danny Weyns, H. Van Dyke Parunak, Fabien Michel, T...