Sciweavers

158 search results - page 20 / 32
» Higher Dimensional Transition Systems
Sort
View
SAS
2004
Springer
136views Formal Methods» more  SAS 2004»
14 years 2 months ago
Constraint-Based Linear-Relations Analysis
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...
EUROGRAPHICS
2010
Eurographics
14 years 5 months ago
A Hybrid Approach to Multiple Fluid Simulation using Volume Fractions
This paper presents a hybrid approach to multiple fluid simulation that can handle miscible and immiscible fluids, simultaneously. We combine distance functions and volume fract...
Nahyup Kang, Jinho Park, Junyong Noh, Sung Yong Sh...
SIGGRAPH
2010
ACM
14 years 1 months ago
Discrete viscous threads
We present a continuum-based discrete model for thin threads of viscous fluid by drawing upon the Rayleigh analogy to elastic rods, demonstrating canonical coiling, folding, and ...
Miklós Bergou, Basile Audoly, Etienne Vouga, Max ...
JIIS
2002
119views more  JIIS 2002»
13 years 8 months ago
Spatio-Temporal Data Mining for Typhoon Image Collection
Our research aims at discovering useful knowledge from the large collection of satellite images of typhoons using data mining approaches. We first introduce the creation of the typ...
Asanobu Kitamoto
PR
2008
170views more  PR 2008»
13 years 8 months ago
Annealing and the normalized N-cut
We describe an annealing procedure that computes the normalized N-cut of a weighted graph G. The first phase transition computes the solution of the approximate normalized 2-cut p...
Tomás Gedeon, Albert E. Parker, Collette Ca...