Sciweavers

338 search results - page 60 / 68
» Differential equations for algebraic functions
Sort
View
HYBRID
2000
Springer
13 years 11 months ago
Modular Specification of Hybrid Systems in CHARON
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, ...
SIGMOD
1995
ACM
116views Database» more  SIGMOD 1995»
13 years 11 months ago
Incremental Maintenance of Views with Duplicates
We study the problem of e cient maintenance of materialized views that may contain duplicates. This problem is particularly important when queries against such views involve aggre...
Timothy Griffin, Leonid Libkin
FCCM
2006
IEEE
111views VLSI» more  FCCM 2006»
14 years 1 months ago
Pipelined Mixed Precision Algorithms on FPGAs for Fast and Accurate PDE Solvers from Low Precision Components
FPGAs are becoming more and more attractive for high precision scientific computations. One of the main problems in efficient resource utilization is the quadratically growing r...
Robert Strzodka, Dominik Göddeke
CVPR
2005
IEEE
14 years 9 months ago
Active Polyhedron: Surface Evolution Theory Applied to Deformable Meshes
This paper presents a novel 3D deformable surface that we call an active polyhedron. Rooted in surface evolution theory, an active polyhedron is a polyhedral surface whose vertice...
Gregory G. Slabaugh, Gozde B. Unal
ECCV
2002
Springer
14 years 9 months ago
Region Matching with Missing Parts
We present a variational approach to the problem of registering planar shapes despite missing parts. Registration is achieved through the evolution of a partial differential equat...
Alessandro Duci, Anthony J. Yezzi, Sanjoy K. Mitte...