Sciweavers

427 search results - page 7 / 86
» Hybrid Soft Computing: Where are we Going
Sort
View
SIGGRAPH
1995
ACM
13 years 11 months ago
Animating soft substances with implicit surfaces
This paper presents a hybrid model for animation of soft inelastic substance which undergo topological changes, e.g. separation and fusion and which fit with the objects they are...
Mathieu Desbrun, Marie-Paule Gascuel
ICCAD
2001
IEEE
101views Hardware» more  ICCAD 2001»
14 years 4 months ago
Instruction Generation for Hybrid Reconfigurable Systems
In this work, we present an algorithm for simultaneous template generation and matching. The algorithm profiles the graph and iteratively contracts edges to create the templates. ...
Ryan Kastner, Seda Ogrenci Memik, Elaheh Bozorgzad...
SAC
2010
ACM
14 years 2 months ago
Reachability analysis of GSPDIs: theory, optimization, and implementation
Analysis of systems containing both discrete and continuous dynamics, hybrid systems, is a difficult issue. Most problems have been shown to be undecidable in general, and decidab...
Hallstein Asheim Hansen, Gerardo Schneider
MICCAI
2003
Springer
14 years 8 months ago
Soft Tissue Simulation Based on Measured Data
Using methods from the computational sciences to improve the quality of health care is an important part of current medical progress. A particulary complex field is surgery simulat...
Gerhard F. Buess, Joachim Gross, Michael Hauth, Wo...
STACS
2010
Springer
14 years 2 months ago
Named Models in Coalgebraic Hybrid Logic
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
Lutz Schröder, Dirk Pattinson