4099 search results - page 224 / 820 » A Framework for Interactive Proof |
197
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
Interactive or semi-automatic segmentation is a useful alternative to pure automatic segmentation in many applications. While automatic segmentation can be very challenging, a sma...
163
click to vote
ICML
2008
IEEE
16 years 7 months ago
2008
IEEE
Discovering additive structure is an important step towards understanding a complex multi-dimensional function because it allows the function to be expressed as the sum of lower-d...
141
click to vote
IVA
2009
Springer
16 years 1 months ago
2009
Springer
Enabling virtual agents to quickly and accurately infer users’ psychological characteristics such as their personality could support a broad range of applications in education, t...
183
click to vote
CA
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes a setup using a surround screen environment (Extended Virtual Environment EVE dome) that we used to explore group interaction in real and virtual space. We ha...
148
click to vote
DSVIS
1995
Springer
15 years 10 months ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...