Sciweavers

19130 search results - page 111 / 3826
» Modelling multi-path problems
Sort
View
TACAS
2012
Springer
275views Algorithms» more  TACAS 2012»
14 years 1 months ago
Pushdown Model Checking for Malware Detection
The number of malware is growing extraordinarily fast. Therefore, it is important to have efficient malware detectors. Malware writers try to obfuscate their code by different tec...
Fu Song, Tayssir Touili
NAACL
2010
15 years 4 months ago
A Direct Syntax-Driven Reordering Model for Phrase-Based Machine Translation
This paper presents a direct word reordering model with novel syntax-based features for statistical machine translation. Reordering models address the problem of reordering source...
Niyu Ge
ICASSP
2011
IEEE
14 years 10 months ago
Efficiency evaluation and orthogonal basis determination in functional HRTF modeling
This paper consider the problem of how to evaluate the efficiency of a 3D continuous functional HRTF model in representing measured data. The proposed method is based on Karhunen...
Mengqiu Zhang, Rodney A. Kennedy, Thushara D. Abha...
ICASSP
2011
IEEE
14 years 10 months ago
Rao-Blackwellized particle filter for Gaussian mixture models and application to visual tracking
One of the most important problems in visual tracking is how to incrementally update the appearance model because the appearance of a target object can be easily changed with time...
Jungho Kim, In-So Kweon
JSS
2010
123views more  JSS 2010»
15 years 1 months ago
Composition of architectural models: Empirical analysis and language support
Managing the architectural description (AD) of a complex software system and maintaining consistency among the different models is a demanding task. To understand the underlying p...
Nelis Boucké, Danny Weyns, Tom Holvoet