3082 search results - page 125 / 617 » Deviation Analysis: A New Use of Model Checking |
162
click to vote
SP
1998
IEEE
15 years 10 months ago
1998
IEEE
The growing use of mobile code in downloaded applications and servlets has increased interest in robust mechanisms for ensuring privacy and secrecy. Information flow control is in...
151
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We propose a new approach for automatic melody extraction from polyphonic audio, based on Probabilistic Latent Component Analysis (PLCA). An audio signal is first divided into vo...
156
click to vote
CAD
2007
Springer
15 years 6 months ago
2007
Springer
Vehicle interior design directly relates to driver performance measures such as comfort, efficiency, risk of injury, and vehicle safety. A digital human is a convenient tool for ...
166
click to vote
GI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract: A key idea of architecture is the description of components and their connections. This information can be extended to define the horizontal and vertical distribution of...
159
click to vote
MICCAI
2007
Springer
16 years 7 months ago
2007
Springer
This paper introduces a new benchmark study of evaluating landmark-based shape correspondence used for statistical shape analysis. Different from previous shape-correspondence eval...