Sciweavers

510 search results - page 57 / 102
» An Algebraic Framework for Urgency
Sort
View
SCALESPACE
2009
Springer
16 years 28 days ago
An Edge-Preserving Multilevel Method for Deblurring, Denoising, and Segmentation
We present a fast edge-preserving cascadic multilevel image restoration method for reducing blur and noise in contaminated images. The method also can be applied to segmentation. O...
Serena Morigi, Lothar Reichel, Fiorella Sgallari
HYBRID
2007
Springer
16 years 16 days ago
Groupoids in Control Systems and the Reachability Problem for a Class of Quantized Control Systems with Nonabelian Symmetries
The aim of this paper is twofold. On one hand we present an approach to the general problem of nonlinear control in the framework of (differentiable) groupoids, which, in our opin...
Alessandro Arsie, Emilio Frazzoli
ICALP
2004
Springer
15 years 11 months ago
A Categorical Model for the Geometry of Interaction
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
Esfandiar Haghverdi, Philip J. Scott
GLVLSI
1999
IEEE
105views VLSI» more  GLVLSI 1999»
15 years 10 months ago
An Integrated Approach for Synthesizing LUT Networks
This paper presents a method for synthesizing lookup table (LUT) networks. The strategy employed by our method is very different from the strategies of previous methods; many deco...
Shigeru Yamashita, Hiroshi Sawada, Akira Nagoya
VLDB
1989
ACM
104views Database» more  VLDB 1989»
15 years 10 months ago
Gral: An Extensible Relational Database System for Geometric Applications
: We describe the architecture of a relational databasesystem that is extensible by user-defined data types and operations, including relation operations. The central concept is to...
Ralf Hartmut Güting