3009 search results - page 312 / 602 » The Expressive Rate of Constraints |
167
click to vote
WSC
2007
15 years 9 months ago
2007
We study an approximation for the zero-variance change of measure to estimate the probability of a rare event in a continuous-time Markov chain. The rare event occurs when the cha...
154
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
We describe a general approach for defining new temporal specification languages, and adopting existing languages, for SystemC. We define the concept of "underlying trace"...
187
click to vote
OPODIS
2007
15 years 8 months ago
2007
Abstract. We consider the problem of synchronizing clocks in synchronous systems prone to transient and dynamic process failures, i.e., we consider systems where all processes may ...
182
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Search and retrieval of specific musical content such as emotive or sonic features has become an important aspect of Music Information Retrieval system development, but only little...
182
click to vote
RECSYS
2010
ACM
15 years 7 months ago
2010
ACM
The so-called real-time web (RTW) is a web of opinions, comments, and personal viewpoints, often expressed in the form of short, 140-character text messages providing abbreviated ...