4457 search results - page 597 / 892 » Tests of Machine Intelligence |
154
click to vote
ICCAD
2002
IEEE
16 years 1 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
172
Voted
CLEF
2009
Springer
15 years 2 months ago
2009
Springer
The robot vision task has been proposed to the ImageCLEF participants for the first time in 2009. The task attracted a considerable attention, with 19 inscribed research groups, 7...
131
click to vote
NDSS
2007
IEEE
15 years 11 months ago
2007
IEEE
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...
133
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...
168
Voted
LLL
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. Automatic lemmatisation is a core application for many language processing tasks. In inflectionally rich languages, such as Slovene, assigning the correct lemma to each ...