380 search results - page 20 / 76 » Functional reactive programming from first principles |
131
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— We relax the monotonicity requirement of Lyapunov’s theorem to enlarge the class of functions that can provide certificates of stability. To this end, we propose two...
100
click to vote
SBMF
2009
Springer
15 years 7 months ago
2009
Springer
Motivated by issues in designing practical total functional programming languages, we are interested in structured recursive equations that uniquely describe a function not because...
119
Voted
JAIR
2008
15 years 12 days ago
2008
Decision-theoretic planning is a popular approach to sequential decision making problems, because it treats uncertainty in sensing and acting in a principled way. In single-agent ...
121
Voted
MICCAI
2005
Springer
16 years 1 months ago
2005
Springer
Functional Magnetic Resonance Imaging(fMRI) has enabled scientists to look into the active human brain, leading to a flood of new data, thus encouraging the development of new data...
125
Voted
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
Real-time systems have reached a level of complexity beyond the scaling capability of the low-level or restricted languages traditionally used for real-time programming. While Met...