11808 search results - page 292 / 2362 » Isometries and Computability Structures |
157
click to vote
TACAS
2009
Springer
16 years 23 days ago
2009
Springer
CEDAR (Counter Example Driven Antichain Refinement) is a new symbolic algorithm for computing weakest strategies for safety games of imperfect information. The algorithm computes ...
115
click to vote
ACG
2009
Springer
16 years 18 days ago
2009
Springer
The chess endgame is increasingly being seen through the lens of, and therefore effectively defined by, a data ‘model’ of itself. It is vital that such models are clearly faith...
141
click to vote
ECAL
2005
Springer
15 years 11 months ago
2005
Springer
Plant morphogenesis is the development of plant form and structure by coordinated cell division and growth. We present a dynamic computational model of plant morphogenesis at cellu...
160
click to vote
ICALP
2005
Springer
15 years 11 months ago
2005
Springer
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
158
click to vote
ICCS
2005
Springer
15 years 11 months ago
2005
Springer
: In the reliability-risk assessment, the second order reliability index method and the Conditional Expectation Monte Carlo (CEMC) simulation were interrelated as a new Level III a...