Sciweavers

2050 search results - page 331 / 410
» constraints 2010
Sort
View
TSE
2010
161views more  TSE 2010»
13 years 6 months ago
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...
Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, ...
TSE
2010
155views more  TSE 2010»
13 years 6 months ago
A Comparison of Six UML-Based Languages for Software Process Modeling
— Describing and managing activities, resources and constraints of software development processes is a challenging goal for many organizations. A first generation of Software Pro...
Reda Bendraou, Jean-Marc Jézéquel, M...
TVCG
2010
157views more  TVCG 2010»
13 years 6 months ago
Crease Surfaces: From Theory to Extraction and Application to Diffusion Tensor MRI
—Crease surfaces are two-dimensional manifolds along which a scalar field assumes a local maximum (ridge) or a local minimum (valley) in a constrained space. Unlike isosurfaces, ...
Thomas Schultz, Holger Theisel, Hans-Peter Seidel
TVCG
2010
145views more  TVCG 2010»
13 years 6 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...
VC
2010
165views more  VC 2010»
13 years 6 months ago
Generating animation from natural language texts and semantic analysis for motion search and scheduling
This paper presents an animation system that generates an animation from natural language texts such as movie scripts or stories. It also proposes a framework for a motion database...
Masaki Oshita