3199 search results - page 600 / 640 » Variability in Automation System Models |
ETELEMED
2009
IEEE
13 years 7 months ago
2009
IEEE
- E-Health systems' interoperability constitutes one of the main challenges of the IT society. E-Health interoperability will not occur without a shared policy and a process f...
ICOODB
2009
13 years 7 months ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
ICFP
2012
ACM
12 years 13 days ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
ECCV
2006
Springer
14 years 12 months ago
2006
Springer
Abstract. In spite of over two decades of intense research, illumination and pose invariance remain prohibitively challenging aspects of face recognition for most practical applica...
ISMIR
2005
Springer
14 years 3 months ago
2005
Springer
This paper presents a melody spotting system based on Variable Duration Hidden Markov Models (VDHMM’s), capable of locating monophonic melodies in a database of raw audio record...