3082 search results - page 196 / 617 » Deviation Analysis: A New Use of Model Checking |
189
click to vote
WCET
2010
15 years 4 months ago
2010
To take full advantage of the increasingly used shared-memory multicore architectures, software algorithms will need to be parallelized over multiple threads. This means that thre...
175
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
This paper presents a novel face detection method in video by using Discriminating Feature Analysis (DFA) and Support Vector Machine (SVM). Our method first incorporates temporal ...
171
click to vote
ER
2000
Springer
15 years 10 months ago
2000
Springer
The development of object-oriented software starts from requirements expressed commonly as Use Cases. The requirements are then converted into a conceptual or analysis model. Analy...
162
click to vote
IKE
2007
15 years 7 months ago
2007
Abstract – The method of latent semantic indexing (LSI) is well known for tackling the synonymy and polysemy problems in information retrieval. However, its performance can be ve...
159
click to vote
JASIS
2010
15 years 4 months ago
2010
Abstract – The method of latent semantic indexing (LSI) is well known for tackling the synonymy and polysemy problems in information retrieval. However, its performance can be ve...