Sciweavers

2556 search results - page 134 / 512
» The Triconnected Abstraction of Process Models
Sort
View
185
Voted
CMSB
2009
Springer
16 years 1 months ago
Computing Reachable States for Nonlinear Biological Models
Abstract. In this paper we describe reachability computation for continuous and hybrid systems and its potential contribution to the process of building and debugging biological mo...
Thao Dang, Colas Le Guernic, Oded Maler
155
Voted
ROBOCUP
2001
Springer
126views Robotics» more  ROBOCUP 2001»
15 years 11 months ago
Recognizing Probabilistic Opponent Movement Models
In multiagent adversarial domains, team agents should adapt to the environment and opponent. We introduce a model representation as part of a planning process for a simulated socce...
Patrick Riley, Manuela M. Veloso
172
Voted
CSCLP
2006
Springer
15 years 10 months ago
A Constraint Model for State Transitions in Disjunctive Resources
Abstract. Traditional resources in scheduling are simple machines where a capacity is the main restriction. However, in practice there frequently appear resources with more complex...
Roman Barták, Ondrej Cepek
DAGSTUHL
2008
15 years 8 months ago
A Note on Some Applications of Interval Arithmetic in Hierarchical Solid Modeling
Techniques of reliable computing, like interval arithmetic, can be used to guarantee reliable solutions even in the presence of numerical round-off errors. The need to trace bounds...
Eva Dyllong
WEBNET
1996
15 years 8 months ago
Modelling alter egos in cyberspace: Who is responsible?
Abstract: Alter Egos represent people in Cyberspace. An Alter Ego is a kind of intelligent agent who is active in performing actions in behalf of the person it represents. How thes...
Reind P. van de Riet, J. F. M. Burg