4507 search results - page 433 / 902 » Generalized Binet dynamics |
186
click to vote
DLS
2007
15 years 10 months ago
2007
The analogy between types and contracts raises the question of how many features of static type systems can be expressed as dynamic contracts. An important feature missing in prio...
185
click to vote
ACMIDC
2010
15 years 10 months ago
2010
New technologies have enabled students to become active participants in computational simulations of dynamic and complex systems (called Participatory Simulations), providing a &q...
164
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
Efficient data retrieval from databases is a significant issue of the design of persistent systems. We propose an aspect oriented persistent system named AspectualStore. Aspectual...
176
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Autonomous robots need to track objects. Object tracking relies on predefined robot motion and sensory models. Tracking is particularly challenging if the robots can actuate on th...
175
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
There is a recent trend of extending epistemic logic (EL) with dynamic operators that allow to express the evolution of knowledge and induced by knowledge-changing actions. The mo...