1672 search results - page 184 / 335 » Interactive Mathematical Documents |
130
click to vote
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...
155
click to vote
ECAL
2001
Springer
15 years 9 months ago
2001
Springer
Reinforcement learning (RL) is a fundamental process by which organisms learn to achieve a goal from interactions with the environment. Using Artificial Life techniques we derive ...
161
click to vote
ICCAL
1992
15 years 8 months ago
1992
We describe the development and use of an online textbook for first-year calculus, the second edition of a book that first appeared in print. The principles on which the book is b...
156
click to vote
HYBRID
2000
Springer
15 years 8 months ago
2000
Springer
A problem of great interest in the control of hybrid systems is the design of least restrictive controllers for reachability specifications. Controller design typically uses game t...
129
click to vote
IADIS
2003
15 years 5 months ago
2003
We sketch a theoretical framework for the construction of evaluation schemes for web sites. The framework is based on the structure quite explicitly found in mathematics, physics ...