Sciweavers

2706 search results - page 51 / 542
» Dynamical models of sentence processing
Sort
View
ICALP
1997
Springer
14 years 13 days ago
Model Checking the Full Modal Mu-Calculus for Infinite Sequential Processes
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
Olaf Burkart, Bernhard Steffen
ICRA
2010
IEEE
145views Robotics» more  ICRA 2010»
13 years 7 months ago
Modeling and decision making in spatio-temporal processes for environmental surveillance
Abstract— The need for efficient monitoring of spatiotemporal dynamics in large environmental surveillance applications motivates the use of robotic sensors to achieve sufficie...
Amarjeet Singh 0003, Fabio Ramos, Hugh D. Whyte, W...
FASE
2008
Springer
13 years 10 months ago
Engineering Service Oriented Applications: From StPowla Processes to SRML Models
Service Oriented Computing is a paradigm for developing software systems as the composition of a number of services. Services are loosely coupled entities, can be dynamically publi...
Laura Bocchi, Stephen Gorton, Stephan Reiff-Margan...
KES
2004
Springer
14 years 2 months ago
A Process Algebra Model of the Immune System
Current models of the immune system have proven capable of reproducing the dynamics of the immune system response. However, they lack of formalisms (including semantics) to underst...
Raul Monroy
ATAL
2006
Springer
14 years 18 days ago
Modelling dynamics of cognitive agents by higher-order potentialities
In the development of disciplines addressing dynamics, such as Mathematics and Physics, a major role was played by the assumption that processes can be modelled by introducing cer...
Tibor Bosse, Jan Treur