1973 search results - page 235 / 395 » The Construction of Ludic Space |
160
click to vote
ICRA
2007
IEEE
16 years 23 days ago
2007
IEEE
Abstract— We study the problem of designing control strategies for nondeterministic transitions systems enforcing the satisfaction of Linear Temporal Logic (LTL) formulas over th...
196
click to vote
QEST
2007
IEEE
16 years 22 days ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
174
click to vote
AGTIVE
2007
Springer
16 years 19 days ago
2007
Springer
In this paper, we consider a large variety of solutions for the generation of Sierpinski triangles, one of the case studies for the AGTIVE graph transformation tool contest [15]. A...
150
click to vote
ICIC
2007
Springer
16 years 18 days ago
2007
Springer
Whether constant π (i.e., pi) is normal is a confusing problem without any strict theoretical demonstration except for some statistical proof. A new concept of pi series is introd...
159
click to vote
WADS
2007
Springer
16 years 16 days ago
2007
Springer
Building on the work of Martinetz, Schulten and de Silva, Carlsson, we introduce a 2-parameter family of witness complexes and algorithms for constructing them. This family can be ...