5550 search results - page 53 / 1110 » Different Approaches to Proof Systems |
147
Voted
ASPDAC
2005
ACM
15 years 11 months ago
2005
ACM
- This paper presents a comparison between three different high-level modeling approaches for embedded systems design, focusing on systems that require dataflow models. The propose...
169
click to vote
ICONS
2008
IEEE
16 years 16 days ago
2008
IEEE
Missing or faulty exception handling has caused a number of spectacular system failures and is a major cause of software failures in extensively tested critical systems. Prior wor...
107
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We present here an elementary construction of an aperiodic tile set. Although there already exist dozens of examples of aperiodic tile sets we believe this construction introduces ...
278
click to vote
ICDE
2006
IEEE
16 years 7 months ago
2006
IEEE
Adaptivity is a challenging open issue in data stream management. In this paper, we tackle the problem of memory adaptivity inside a system executing temporal sliding window queri...
134
click to vote
INTERSPEECH
2010
15 years 28 days ago
2010
In this paper, we compare and combine different approaches for instrumentally predicting the perceived quality of Text-to-Speech systems. First, a log-likelihood is determined by ...