2850 search results - page 473 / 570 » On Timed Models and Full Abstraction |
129
click to vote
CPAIOR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. AND/OR search spaces have recently been introduced as a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is...
114
click to vote
ECML
2006
Springer
15 years 4 months ago
2006
Springer
Abstract We propose in this paper a novel approach to the classification of discrete sequences. This approach builds a model fitting some dynamical features deduced from the learni...
94
Voted
ECTEL
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. The libre software development model has shown how combining collective intelligence can lead to revolutionary methods that underpin major software advancements. This pap...
107
click to vote
CDC
2008
IEEE
15 years 2 months ago
2008
IEEE
Abstract-- This paper studies distributed coordination algorithms for multiple fractional-order systems over a directed communication graph. A general fractional-order consensus mo...
82
Voted
ASPDAC
2005
ACM
15 years 2 months ago
2005
ACM
Abstract— Frequency dependent interconnect analysis is challenging since lumped equivalent circuit models extracted at different frequencies exhibit distinct time and frequency d...