10042 search results - page 422 / 2009 » Interactive Topic Modeling |
197
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
186
click to vote
CSB
2005
IEEE
16 years 15 days ago
2005
IEEE
The molecular docking problem is to determine how molecules interact with other molecules and plays a key role in understanding how cells function. DockingShop is an integrated en...
179
click to vote
SIGIR
2003
ACM
16 years 4 days ago
2003
ACM
In this poster,we incorporate user query history, as context information, to improve the retrieval performance in interactive retrieval. Experiments using the TREC data show that ...
168
click to vote
AGENTCL
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Exploring agent conversation in the context of fine-grained agent coordination research has raised several intellectual questions. The major issues pertain to interactio...
197
click to vote
SIGGRAPH
1991
ACM
15 years 10 months ago
1991
ACM
We describe techniques for interactively controlling bipedal articulated figures through kinematic constraints. These constraints model certain behavioral tendencies which capture...