6395 search results - page 939 / 1279 » Searching for Interacting Features |
296
click to vote
POPL
2002
ACM
16 years 7 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
165
click to vote
MHCI
2009
Springer
16 years 1 months ago
2009
Springer
As users enter web queries, real-time query expansion (RTQE) interfaces offer suggestions based on an index garnered from query logs. In selecting a suggestion, users can potentia...
179
click to vote
AUTOMOTIVEUI
2009
ACM
16 years 1 months ago
2009
ACM
Auditory display research for driving has mainly focused on collision warning signals, and recent studies on auditory invehicle information presentation have examined only a limit...
225
click to vote
BIBM
2008
IEEE
16 years 1 months ago
2008
IEEE
The study of gene function is critical in various genomic and proteomic fields. Due to the availability of tremendous amounts of different types of protein data, integrating thes...
160
click to vote
INFOVIS
2005
IEEE
16 years 12 days ago
2005
IEEE
The discrete nature of categorical data makes it a particular challenge for visualization. Methods that work very well for continuous data are often hardly usable with categorical...