2351 search results - page 129 / 471 » A Method of Requirement Inconsistency Analysis |
SIGSOFT
2003
ACM
15 years 3 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
106
click to vote
CVPR
2007
IEEE
16 years 2 days ago
2007
IEEE
This paper presents a new incremental learning solution for Linear Discriminant Analysis (LDA). We apply the concept of the sufficient spanning set approximation in each update st...
ISBI
2004
IEEE
15 years 10 months ago
2004
IEEE
Image analysis tools are used for the extraction of clinical data from Doppler Echocardiography images. Currently, manual methods are subject to large inter- and intraobserver var...
APPROX
2009
Springer
15 years 4 months ago
2009
Springer
In this paper, we provide a polylogarithmic bound that holds with high probability on the insertion time for cuckoo hashing under the random-walk insertion method. Cuckoo hashing ...
SAC
2005
ACM
15 years 3 months ago
2005
ACM
One crucial task for e-commerce systems is to help buyers find products that not only satisfy their preferences but also reduce their search effort. Usually the amount of availa...