1890 search results - page 278 / 378 » Model-Based Testing in Practice |
152
click to vote
ICIAP
2003
ACM
15 years 6 months ago
2003
ACM
Principal Components Analysis (PCA) has been one of the most applied methods for face verification using only 2D information, in fact, PCA is practically the method of choice for ...
104
click to vote
DATE
2010
IEEE
15 years 6 months ago
2010
IEEE
—Systems based on satellite localization are enabling new scenarios for road charging schemes by offering the possibility to charge drivers as a function of their road usage. An ...
HICSS
2002
IEEE
15 years 6 months ago
2002
IEEE
: We hypothesize that this variation in the extent and nature of financial data disseminated through corporate Web sites is associated with the factors that influence the initial d...
ICCAD
2002
IEEE
15 years 6 months ago
2002
IEEE
The ultimate goal of logic synthesis is to explore implementation flexibility toward meeting design targets, such as area, power, and delay. Traditionally, such flexibility is exp...
136
click to vote
SACMAT
2010
ACM
15 years 6 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...