Sciweavers

1987 search results - page 273 / 398
» Directional filtering transform
Sort
View
131
Voted
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 8 months ago
A Formal Framework for Modular Synchronous System Design
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
Maria-Cristina V. Marinescu, Martin C. Rinard
97
Voted
ICTAI
2002
IEEE
15 years 8 months ago
Adjusted Network Flow for the Shelf-Space Allocation Problem
In this paper, we study shelf space allocation optimization which is important to retail operations management. Our approach is to formulate a model that is applicable to operatio...
Andrew Lim, Brian Rodrigues, Fei Xiao, Xingwen Zha...
103
Voted
HAPTICS
2010
IEEE
15 years 8 months ago
Causality Inversion in the Reproduction of Roughness
When a finger scans a non-smooth surface, a sensation of roughness is experienced. A similar sensation is felt when a finger is in contact with a mobile surface vibrating in the ...
Michael Wiertlewski, José Lozada, Edwige Pi...
ICPR
2000
IEEE
15 years 7 months ago
A Graph-Based Global Registration for 2D Mosaics
We describe a graph-based global registration method for creating 2D mosaic images. When multi-frames overlap in space, global registration is necessary to minimize the accumulate...
Eun-Young Kang, Isaac Cohen, Gérard G. Medi...
AGP
1999
IEEE
15 years 7 months ago
The Relative Complement Problem for Higher-Order Patterns
We address the problem of complementing higher-order patterns without repetitions of free variables. Differently from the first-order case, the complement of a pattern cannot, in ...
Alberto Momigliano, Frank Pfenning