13917 search results - page 141 / 2784 » Abstraction of Probabilistic Systems |
CDC
2010
IEEE
14 years 5 months ago
2010
IEEE
undary controllability of an abstract Mead-Marcus sandwich beam model Scott W. Hansen and A. Ozkan Ozer Abstract-- In this paper we prove the exact boundary conlity of an abstract ...
ENTCS
2007
14 years 10 months ago
2007
ed Metatheory (Extended Abstract) Andrew W. Appel Princeton University and INRIA Rocquencourt Xavier Leroy INRIA Rocquencourt We propose a benchmark to compare theorem-proving sys...
114
click to vote
GECCO
2011
Springer
14 years 1 months ago
2011
Springer
In recent years there have been efforts to develop a probabilistic framework to explain the workings of a Learning Classifier System. This direction of research has met with lim...
108
click to vote
NFM
2011
14 years 5 months ago
2011
A safety claim for a system is a statement that the system, which is subject to hazardous conditions, satisfies a given set of properties. Following work by John Rushby and Bev Li...
154
click to vote
PAMI
2010
14 years 4 months ago
2010
Abstract--The capacity for realtime synchronization and coordination is a common ability among trained musicians performing a music score that presents an interesting challenge for...