3229 search results - page 113 / 646 » Theories with the Independence Property |
96
Voted
LATIN
2010
Springer
15 years 7 months ago
2010
Springer
Concurrent compositions of recursive programs with finite a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form ...
ISMIR
2005
Springer
15 years 6 months ago
2005
Springer
We introduce a new model for extracting classified structural segments, such as intro, verse, chorus, break and so forth, from recorded music. Our approach is to classify signal ...
103
Voted
ACTA
2010
15 years 25 days ago
2010
We study the observational theory of Thielecke's CPS-calculus, a distillation of the target language of Continuation-Passing Style transforms. We define a labelled transition...
117
Voted
AUTOMATICA
2006
15 years 23 days ago
2006
Motivated by questions in stability theory for hybrid dynamical systems, we establish some fundamental properties of the set of solutions to such systems. Using the notion of a hy...
106
Voted
IJCV
2006
15 years 21 days ago
2006
Suppose two perspective views of four world points are given and that the intrinsic parameters are known but the camera poses and the world point positions are not. We prove that t...