2411 search results - page 400 / 483 » The challenge of information visualization evaluation |
125
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
145
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
Target detection in sea clutter is a challenging problem in radar detection, specifically, when the Doppler return of the target and clutter are collocated. Polarization diverse ...
153
click to vote
SEMCO
2009
IEEE
15 years 11 months ago
2009
IEEE
- Semantic processing represents the new challenge for all applications that require text understanding, as for instance Q/A. In this paper we will highlight the need to couple sta...
132
Voted
WECWIS
2009
IEEE
15 years 11 months ago
2009
IEEE
– Networked enterprises create virtual teams of distributed experts belonging to different enterprises where one user can be part of multiple teams; How to effectively control th...
161
click to vote
KI
2009
Springer
15 years 11 months ago
2009
Springer
Spoken dialogue is notoriously hard to process with standard language processing technologies. Dialogue systems must indeed meet two major challenges. First, natural spoken dialogu...