1626 search results - page 33 / 326 » Hybrid computing algorithm in representing solid model |
93
Voted
ISMIR
2004
Springer
15 years 8 months ago
2004
Springer
We present a new method for establishing an alignment between a polyphonic musical score and a corresponding sampled audio performance. The method uses a graphical model containin...
122
Voted
CMSB
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In this paper we describe reachability computation for continuous and hybrid systems and its potential contribution to the process of building and debugging biological mo...
97
Voted
CVPR
2005
IEEE
16 years 4 months ago
2005
IEEE
Statistical models for tracking different moving bodies must be able to reason about occlusions in order to be effective. Representing the joint statistics across different bodies...
147
click to vote
AB
2007
Springer
15 years 8 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
108
click to vote
WOLLIC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In this paper, we present a three-valued property driven model checking algorithm for the logic CTL on hybrid automata. The technique of multivalued model checking for hy...