4099 search results - page 737 / 820 » A Framework for Interactive Proof |
114
click to vote
ECIS
2000
15 years 5 months ago
2000
-International Information Systems, often of critical importance for the operations of the multinational enterprise, are poorly researches and there is a dearth of theoretical fram...
125
click to vote
AAAI
1997
15 years 5 months ago
1997
Mixed-initiative planning envisions a framework in which automated and human planners interact to jointly construct plans that satisfy specific objectives. In this paper, we repo...
149
click to vote
IMAMS
1994
15 years 5 months ago
1994
We develop a dynamic, free-form surface model which is useful for representing a broad class of objects with symmetries and topological variability. The new model is based upon sw...
167
click to vote
VMV
2007
15 years 5 months ago
2007
We present an image editing tool that allows to deform and composite image regions using an intuitive sketch-based interface. Users simply draw the outline of the source image reg...
144
click to vote
BCSHCI
2009
15 years 5 months ago
2009
Although user behavior in the popular Facebook social network site has been intensely investigated since the site came live in 2004, we know little about users' emotions and ...