1695 search results - page 153 / 339 » Interactive query refinement |
153
click to vote
AGENTS
2000
Springer
15 years 10 months ago
2000
Springer
Smart avatars are virtual human representations controlled by real people. Given instructions interactively, smart avatars can act as autonomous or reactive agents. During a real-...
184
click to vote
HICSS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper presents a judgement and decision making analysis of collaborative problem solving. This analysis is done with respect to the Raven and CoRaven decision-making tools fo...
158
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
186
click to vote
ACSD
2006
IEEE
15 years 8 months ago
2006
IEEE
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
138
click to vote
CP
2008
Springer
15 years 8 months ago
2008
Springer
We present an incremental refinement algorithm for approximate compilation of constraint satisfaction models into multivalued decision diagrams (MDDs). The algorithm uses a vertex ...