11030 search results - page 1724 / 2206 » Generative Sound Models |
187
click to vote
ANSS
2004
IEEE
15 years 10 months ago
2004
IEEE
Intruders often want to analyze traffic pattern to get information for his some malicious activities in ultra-secure network. This paper presents a general approach to prevent tra...
206
click to vote
BIBE
2004
IEEE
15 years 10 months ago
2004
IEEE
Large-scale biomedical data sets of macromolecular structures such as DNA and proteins describe highly complex biomolecular entities which often consist of thousands of atoms and ...
160
click to vote
APN
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
206
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
219
click to vote
CVPR
2004
IEEE
15 years 10 months ago
2004
IEEE
We formulate face localization as a Maximum A Posteriori Probability(MAP) problem of finding the best estimation of human face configuration in a given image. The a prior distribu...