Sciweavers

3676 search results - page 207 / 736
» Scalable component abstractions
Sort
View
TSD
2005
Springer
16 years 2 days ago
Mapping the Speech Signal onto Electromagnetic Articulography Trajectories Using Support Vector Regression
Abstract. We report work on the mapping between the speech signal and articulatory trajectories from the MOCHA database. Contrasting previous works that used Neural Networks for th...
Asterios Toutios, Konstantinos G. Margaritis
ECAI
2004
Springer
15 years 12 months ago
Temporal Plan Interdependencies
Abstract. Asbru is a complex formal language developed to represent clinical guidelines and protocols which are time- and processoriented. To facilitate and support the modeling in...
Katharina Kaiser, Silvia Miksch
EUSAI
2004
Springer
15 years 12 months ago
A Generic Topology for Ambient Intelligence
Abstract. In this article we identify the general communication patterns of physical devices and define all interfaces and conflict resolution strategies that are present in any ...
Michael Hellenschmidt, Thomas Kirste
IAW
2003
IEEE
15 years 12 months ago
Static Verification of Worm and virus Behavior in binary Executables using Model Checking
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
Prabhat K. Singh, Arun Lakhotia
SIGIR
2003
ACM
15 years 12 months ago
The MIND Architecture for Heterogeneous Multimedia Federated Digital Libraries
Abstract. In this paper we describe the architecture of the MIND system for federating multimedia digital libraries. MIND integrates heterogeneous, multimedia non-co-operating digi...
Henrik Nottelmann, Norbert Fuhr