Sciweavers

1715 search results - page 203 / 343
» How Space Structures Language
Sort
View
HICSS
2002
IEEE
132views Biometrics» more  HICSS 2002»
15 years 8 months ago
Modeling Current Events
Enormous amounts of information are produced every day, all over the world. but very little of it is true. In this paper, we describe the modeling component of a current events an...
Christopher Landauer, Kirstie L. Bellman
PRIMA
2001
Springer
15 years 7 months ago
The Role of Castes in Formal Specification of MAS
One of the most appealing features of multiagent technology is its natural way to modularise a complex system in terms of multiple, interacting and autonomous components. As a natu...
Hong Zhu
CONTEXT
1999
Springer
15 years 7 months ago
Contextual Inference in Computational Semantics
Appeared in: P. Bouquet, P. Br´ezillon, L. Serafini, M. Benerecetti, F. Castellani (Eds.), 2nd International and Interdisciplinary Conference on Modeling and Using Context (CONT...
Christof Monz
UML
2000
Springer
15 years 6 months ago
On the Extension of UML with Use Case Maps Concepts
Descriptions of reactive systems focus heavily on behavioral aspects, often in terms of scenarios. To cope with the increasing complexity of services provided by these systems, beh...
Daniel Amyot, Gunter Mussbacher
PLILP
1995
Springer
15 years 6 months ago
Local Linear Logic for Locality Consciousness in Multiset Transformation
We use Girard's linear logic (LL) to produce a semantics for Gamma, a multiset transformation language. The semantics improves on the existing structured operational semantics...
Hugh McEvoy, Pieter H. Hartel