3082 search results - page 530 / 617 » Deviation Analysis: A New Use of Model Checking |
150
click to vote
ICCV
2005
IEEE
15 years 10 months ago
2005
IEEE
We develop a method for learning the spatial statistics of optical flow fields from a novel training database. Training flow fields are constructed using range images of natur...
122
click to vote
ISMIR
2004
Springer
15 years 9 months ago
2004
Springer
The automatic analysis of singing from music is an important and challenging issue within the research target of content-based retrieval of music information. As part of this rese...
131
click to vote
EUROSEC
2010
ACM
15 years 9 months ago
2010
ACM
The prevalent use of the signature-based approach in modern intrusion detection systems (IDS) emphasizes the importance of the efficient management of the employed signature sets....
150
click to vote
TCAD
2008
15 years 4 months ago
2008
Starting at the 65-nm node, stress engineering to improve the performance of transistors has been a major industry focus. An intrinsic stress source--shallow trench isolation (STI)...
147
click to vote
RTCSA
2008
IEEE
15 years 10 months ago
2008
IEEE
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...