Sciweavers

3765 search results - page 166 / 753
» Qualitative Action Systems
Sort
View
APCHI
1998
IEEE
15 years 8 months ago
Eviss: A Visual System Having a Spatial Parser Generator
In this paper, a visual system Eviss is proposed. Visual systems proposed so far have been fixed on certain specifications. It is hard to make and modify such visual systems. Sinc...
Akihiro Baba, Jiro Tanaka
AI50
2006
15 years 8 months ago
The Physical Symbol System Hypothesis: Status and Prospects
I analyze some of the attacks against the Physical Symbol System Hypothesis--attacks based on the presumed need for symbolgrounding and non-symbolic processing for intelligent beha...
Nils J. Nilsson
ISPDC
2005
IEEE
15 years 10 months ago
Coordination of Components in a Distributed Discrete-Event System
We propose a method for coordinating local components that observe a distributed discrete-event system R and execute actions depending on the current state of R. Coordination is a...
Ahmed Khoumsi
VL
2000
IEEE
136views Visual Languages» more  VL 2000»
15 years 9 months ago
A Data-Flow Visual Approach to Symbolic Computing: Implementing a Production-Rule-Based Programming System through a General-Pur
The main aim of this paper is to investigate how the production-rule-based computational paradigm can be implemented through visual data-flow techniques. We propose a simple yet e...
Mauro Mosconi, Marco Porta
FMOODS
2003
15 years 5 months ago
The Kell Calculus: Operational Semantics and Type System
This paper1 presents the Kell calculus, a new distributed process calculus that retains the original insights of the Seal calculus (local actions, process replication) and of the M...
Philippe Bidinger, Jean-Bernard Stefani