Sciweavers

2010 search results - page 152 / 402
» On Object Extension
Sort
View
CADE
2012
Springer
13 years 7 months ago
Playing Hybrid Games with KeYmaera
We propose a new logic, called differential dynamic game logic (dDGL), that adds several game constructs on top of differential dynamic logic (dL) so that it can be used for hybr...
Jan-David Quesel, André Platzer
157
Voted
CGF
2010
144views more  CGF 2010»
15 years 4 months ago
Dynamic Multi-View Exploration of Shape Spaces
Statistical shape modeling is a widely used technique for the representation and analysis of the shapes and shape variations present in a population. A statistical shape model mod...
Stef Busking, Charl P. Botha, Frits H. Post
123
Voted
ICIP
1997
IEEE
16 years 6 months ago
An Efficient Boundary Encoding Scheme which is Optimal in the Rate-Distortion Sense
In this paper, we present a fast and optimal method for the lossy encoding of object boundaries which are given as 8-connect chain codes. We approximate the boundary by a polygon ...
Fabian W. Meier, Guido M. Schuster, Aggelos K. Kat...
ICPR
2002
IEEE
16 years 5 months ago
A General Multichannel Image Restoration Method Using Compound Models
In this paper we present a multichannel image restoration method using Compound Gauss Markov Random Field (CGMRF) models. Information regarding the objects present in the scene is...
Rafael Molina, Javier Mateos, Aggelos K. Katsaggel...
148
Voted
SI3D
2009
ACM
15 years 11 months ago
Real-time creased approximate subdivision surfaces
We present an extension of recently developed Loop and Schaefer’s approximation of Catmull-Clark surfaces (ACC) for surfaces with creases and corners which are essential for mos...
Denis Kovacs, Jason Mitchell, Shanon Drone, Denis ...