Sciweavers

1501 search results - page 162 / 301
» Towards Integration of Modeling Methods for Cyber-Physical S...
Sort
View
SPEECH
2010
210views more  SPEECH 2010»
15 years 2 months ago
An overview of text-independent speaker recognition: From features to supervectors
This paper gives an overview of automatic speaker recognition technology, with an emphasis on text-independent recognition. Speaker recognition has been studied actively for sever...
Tomi Kinnunen, Haizhou Li
DAGSTUHL
2004
15 years 6 months ago
Refinement and Consistency in Multiview Models
Abstract. Model transformations are an integral part of OMG's standard for Model Driven Architecture (MDA). Model transformations should at the best allow for a seamless trans...
Heike Wehrheim
AIFIPP
1992
15 years 5 months ago
Task-Structure Analysis for Knowledge Modeling
We have for several years been working on an approach to knowledge system building that argues for the existence of a close connection between the tasks which the knowledge system ...
B. Chandrasekaran, Todd R. Johnson, Jack W. Smith
PLDI
2009
ACM
15 years 11 months ago
A weakest precondition approach to active attacks analysis
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
Musard Balliu, Isabella Mastroeni
134
Voted
ICCS
2007
Springer
15 years 10 months ago
Dynamic Data-Driven Systems Approach for Simulation Based Optimizations
Abstract. This paper reviews recent developments in our project that are focused on dynamic data-driven methods for efficient and reliable simulation based optimization, which may...
Tahsin M. Kurç, Xi Zhang, Manish Parashar, ...