4099 search results - page 231 / 820 » A Framework for Interactive Proof |
150
click to vote
ICPR
2008
IEEE
16 years 29 days ago
2008
IEEE
For many computer vision problems, it is very important to produce the groundtruth data. Manual data labeling is labor-intensive and prone to the human errors, whereas fully autom...
146
click to vote
ICMCS
2007
IEEE
16 years 25 days ago
2007
IEEE
We present an interactive visualization, called Table Of Video Contents (TOVC), for browsing structured TV programs such as news, magazines or sports. In these telecasts, getting ...
164
click to vote
SMI
2006
IEEE
16 years 16 days ago
2006
IEEE
In this paper, we propose a constrained least squares approach for stably computing Laplacian deformation with strict positional constraints. In the existing work on Laplacian def...
151
click to vote
ML
2006
ACM
16 years 14 days ago
2006
ACM
Ocsigen is a framework for programming highly dynamic web sites in Objective Caml. It allows to program sites as Ocaml applications and introduces new concepts to take into accoun...
155
click to vote
SMA
2005
ACM
16 years 2 days ago
2005
ACM
For simulations involving complex objects, a number of different properties must be represented. An example of this is in modeling an object undergoing combustion—heat amounts,...