3299 search results - page 457 / 660 » A general mathematics of names |
278
click to vote
ISSTA
2004
ACM
15 years 12 months ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
141
click to vote
IUI
2004
ACM
15 years 12 months ago
2004
ACM
We introduce a new intelligent user interface (IUI) and, also, a new methodology to identify the fatigue state for healthy subjects. The fatigue state is determined by means of a ...
166
click to vote
JCDL
2004
ACM
15 years 12 months ago
2004
ACM
We describe PhotoCompas, a system that utilizes the time and location information embedded in digital photographs to automatically organize a personal photo collection. PhotoCompa...
148
click to vote
MM
2004
ACM
15 years 12 months ago
2004
ACM
The ellipse Hough transform (EHT) is a widely-used technique. Most of the previous modifications to the standard EHT improved either the voting procedure that computes the absolut...
146
click to vote
SIGIR
2004
ACM
15 years 12 months ago
2004
ACM
Although text categorization is a burgeoning area of IR research, readily available test collections in this field are surprisingly scarce. We describe a methodology and system (...