427 search results - page 48 / 86 » On the Power of Labels in Transition Systems |
NIPS
2003
15 years 1 months ago
2003
What happens to the optimal interpretation of noisy data when there exists more than one equally plausible interpretation of the data? In a Bayesian model-learning framework the a...
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
147
click to vote
ECRTS
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper presents a general framework for analyzing and designing embedded systems with energy and timing requirements. A set of realistic assumptions is considered in the model...
IUI
2009
ACM
15 years 8 months ago
2009
ACM
We present data-driven methods for supporting musical creativity by capturing the statistics of a musical database. Specifically, we introduce a system that supports users in expl...
ACSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...