3052 search results - page 468 / 611 » Engineers Don't Search |
IUI
2006
ACM
14 years 3 months ago
2006
ACM
Helping computer users rapidly locate files in their folder hierarchies has become an important research topic in today’s intelligent user interface design. This paper reports o...
IUI
2006
ACM
14 years 3 months ago
2006
ACM
There is a growing need for creating life-like virtual human simulations that can conduct a natural spoken dialog with a human student on a predefined subject. We present an over...
MSR
2006
ACM
14 years 3 months ago
2006
ACM
We present an open framework for visual mining of CVS software repositories. We address three aspects: data extraction, analysis and visualization. We first discuss the challenges...
GLVLSI
2005
IEEE
14 years 2 months ago
2005
IEEE
Boolean Satisfiability (SAT) solvers are popular engines used throughout the verification world. Bounded sequential problems such as bounded model checking and bounded sequentia...
IUI
2005
ACM
14 years 2 months ago
2005
ACM
In this paper, we describe the development of CiteSpace as an integrated environment for identifying and tracking thematic trends in scientific literature. The goal is to simplify...