Sciweavers

26071 search results - page 401 / 5215
» Making
Sort
View
187
Voted
PCM
2004
Springer
106views Multimedia» more  PCM 2004»
16 years 6 days ago
Analysis and Synthesis of Latin Dance Using Motion Capture Data
This paper presents an analysis of natural movement in Latin dance and a synthesis of dance motions making use of the outcome. The isolation movement of shoulders and hips in Latin...
Noriko Nagata, Kazutaka Okumoto, Daisuke Iwai, Fel...
199
Voted
RTA
2004
Springer
16 years 6 days ago
Dependency Pairs Revisited
Abstract. In this paper we present some new refinements of the dependency pair method for automatically proving the termination of term rewrite systems. These refinements are ver...
Nao Hirokawa, Aart Middeldorp
VMCAI
2004
Springer
16 years 6 days ago
Symbolic Implementation of the Best Transformer
This paper shows how to achieve, under certain conditions, abstract-interpretation ms that enjoy the best possible precision for a given abstraction. The key idea is a simple proce...
Thomas W. Reps, Shmuel Sagiv, Greta Yorsh
ICIP
2003
IEEE
16 years 4 days ago
Automatically organizing digital photographs using time and content
We present similarity-based methods to cluster digital photos by time and image content. This approach is general, unsupervised, and makes minimal assumptions regarding the struct...
Matthew L. Cooper, Jonathan Foote, Andreas Girgens...
166
Voted
ISMAR
2003
IEEE
16 years 4 days ago
Implementation of an Augmented Reality System on a PDA
We present a client/server implementation for running demanding mobile AR applications on a PDA device. The system incorporates various data compression methods to make it run as ...
Wouter Pasman, Charles Woodward