3167 search results - page 493 / 634 » Blog search engines |
IUI
2006
ACM
14 years 2 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 2 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 1 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 1 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...
IUI
2005
ACM
14 years 1 months ago
2005
ACM
We present PLIANT, a learning system that supports adaptive assistance in an open calendaring system. PLIANT learns user preferences from the feedback that naturally occurs during...