Sciweavers

1530 search results - page 267 / 306
» Programmable motion effects
Sort
View
ACMSE
2008
ACM
13 years 10 months ago
A study of the performance of steering tasks under spatial transformation of input
Indirection exists between the virtual objects that form the computer interface and the input devices through which the user interacts to manipulate these objects. This paper stud...
Mihail Eduard Tudoreanu, Eileen Kraemer
FM
2008
Springer
192views Formal Methods» more  FM 2008»
13 years 9 months ago
CoVaC: Compiler Validation by Program Analysis of the Cross-Product
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
Anna Zaks, Amir Pnueli
SDM
2010
SIAM
115views Data Mining» more  SDM 2010»
13 years 9 months ago
Radius Plots for Mining Tera-byte Scale Graphs: Algorithms, Patterns, and Observations
Given large, multi-million node graphs (e.g., FaceBook, web-crawls, etc.), how do they evolve over time? How are they connected? What are the central nodes and the outliers of the...
U. Kang, Charalampos E. Tsourakakis, Ana Paula App...
GRAPHICSINTERFACE
2008
13 years 9 months ago
Interactive 3D facial expression posing through 2D portrait manipulation
Sculpting various 3D facial expressions from a static 3D face model is a process with intensive manual tuning efforts. In this paper, we present an interactive 3D facial expressio...
Tanasai Sucontphunt, Zhenyao Mo, Ulrich Neumann, Z...
ICVGIP
2008
13 years 9 months ago
Fragment Based Tracking for Scale and Orientation Adaptation
In this work, we propose a simple yet highly effective algorithm for tracking a target through significant scale and orientation change. We divide the target into a number of frag...
Viswanathan Srikrishnan, Tadinada Nagaraj, Subhasi...