Sciweavers

6258 search results - page 1078 / 1252
» Applied Text Generation
Sort
View
TVCG
2010
145views more  TVCG 2010»
15 years 2 months ago
Fluid Simulation with Articulated Bodies
—We present an algorithm for creating realistic animations of characters that are swimming through fluids. Our approach combines dynamic simulation with data-driven kinematic mot...
Nipun Kwatra, Christopher Wojtan, Mark Carlson, Ir...
TVCG
2010
114views more  TVCG 2010»
15 years 2 months ago
Topology-Aware Evenly Spaced Streamline Placement
—This paper presents a new streamline placement algorithm that produces evenly spaced long streamlines while preserving topological features of a flow field. Singularities and se...
Keqin Wu, Zhanping Liu, Song Zhang, Robert J. Moor...
TVCG
2010
166views more  TVCG 2010»
15 years 2 months ago
An Extension of Wilkinson's Algorithm for Positioning Tick Labels on Axes
—The non-data components of a visualization, such as axes and legends, can often be just as important as the data itself. They provide contextual information essential to interpr...
Justin Talbot, Sharon Lin, Pat Hanrahan
UTP
2010
15 years 2 months ago
Unifying Theories in Isabelle/HOL
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...
Abderrahmane Feliachi, Marie-Claude Gaudel, Burkha...
VTC
2010
IEEE
180views Communications» more  VTC 2010»
15 years 2 months ago
Analysis of Enhanced Deployment Models for Sensor Networks
Abstract—We present the estimation and evaluation of deployment models for sensor networks that exploit different amounts of a priori information. Topologies generated from the m...
Frank Oldewurtel, Petri Mähönen
« Prev « First page 1078 / 1252 Last » Next »