425 search results - page 42 / 85 » Homothetic interval orders |
CONCUR
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
ICASSP
2009
IEEE
15 years 3 months ago
2009
IEEE
The speech signal is usually considered as stationary during short analysis time intervals. Though this assumption may be sufficient in some applications, it is not valid for high...
101
click to vote
APWEB
2006
Springer
15 years 3 months ago
2006
Springer
Discovering patterns with great significance is an important problem in data mining discipline. A serial episode is defined to be a partially ordered set of events for consecutive ...
CP
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In this paper, we investigate how an IA network can be effectively encoded into the SAT domain. We propose two basic approaches to modelling an IA network as a CSP: one r...
ICSE
2000
IEEE-ACM
15 years 3 months ago
2000
IEEE-ACM
According to its proponents, open source style software development has the capacity to compete successfully, and perhaps in many cases displace, traditional commercial developmen...