8450 search results - page 298 / 1690 » Interactively Modeling with Photogrammetry |
149
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
134
click to vote
CSCW
2010
ACM
16 years 1 months ago
2010
ACM
Emotions are an often overlooked aspect of work since they are not included in formal work models. However, they continue provide critical information as well as be part of a rich...
146
click to vote
PG
2007
IEEE
15 years 11 months ago
2007
IEEE
We present an appearance-based user interface for artists to efficiently design customized image-based lighting environments. 1 Our approach avoids typical iterations of paramete...
128
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we study the problem of the fast selection of video objects, as an aid for the efficient semi-automatic annotation of video programs. In a regular system, the user ...
134
click to vote
VISUALIZATION
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents our framework for music information retrieval and visualization (CoMIRVA). We focus on the functions for visualizing similarities between music artists or song...