576 search results - page 88 / 116 » Approximate controllability of a reaction-diffusion system |
149
click to vote
JAR
2010
15 years 3 months ago
2010
Many theorems involving special functions such as ln, exp and sin can be proved automatically by MetiTarski: a resolution theorem prover modified to call a decision procedure for ...
123
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
145
Voted
ICPPW
2006
IEEE
15 years 10 months ago
2006
IEEE
Speech recognition has become common in many application domains, from dictation systems for professional practices to vocal user interfaces for people with disabilities or hands-...
151
Voted
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
One of the difficulties to adapt MDPs for the control of cooperative multi-agent systems, is the complexity issued from Decentralized MDPs. Moreover, existing approaches can not ...
132
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
— Studies of primate locomotion have shown that the head and eyes are stabilized in space through the vestibulo-collic and vestibulo ocular Reflexes (VCR, VOR). The VOR is a refl...