614 search results - page 66 / 123 » Fast Expression Templates |
CMMR
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper we present algorithms for the automatic timesynchronization of score-, MIDI- or PCM-data streams which represent the same polyphonic piano piece. In contras...
CSL
2004
Springer
14 years 1 months ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...
FASE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Organizations use Role-Based Access Control (RBAC) to protect computer-based resources from unauthorized access. There has been considerable work on formally specifying R...
ICIP
2000
IEEE
14 years 6 days ago
2000
IEEE
In the paper, a methodology for individual face synthesis using given orthogonal photos is proposed. And an integrated speech-driven facial animation system is presented. Firstly,...
TOOLS
2000
IEEE
14 years 5 days ago
2000
IEEE
In this experience report we present a case study in designing, implementing, and reusing an object-oriented framework for constructing and editing complex search expressions over...