Sciweavers

257 search results - page 27 / 52
» The Generalized Deadlock Resolution Problem
Sort
View
ACCV
2007
Springer
14 years 2 months ago
Shape from Contour for the Digitization of Curved Documents
Abstract. We are aiming at extending the basic digital camera functionalities to the ability to simulate the flattening of a document, by virtually acting like a flatbed scanner....
Frédéric Courteille, Jean-Denis Duro...
LICS
2006
IEEE
14 years 1 months ago
PSPACE Bounds for Rank-1 Modal Logics
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
Lutz Schröder, Dirk Pattinson
IMR
1999
Springer
14 years 2 days ago
Mesh Association: Formulation and Algorithms
In computational simulation of coupled, multicomponent systems, it is frequently necessary to transfer data between meshes that may di er in resolution, structure, and discretizat...
Xiangmin Jiao, Herbert Edelsbrunner, Michael T. He...
FIW
2007
105views Communications» more  FIW 2007»
13 years 9 months ago
Towards Feature Interactions in Business Processes
The feature interaction problem is generally associated with conflicting features causing undesirable effects. However, in this paper we report on a situation where the combinati...
Stephen Gorton, Stephan Reiff-Marganiec
ICIP
2000
IEEE
14 years 9 months ago
Block Color Quantization: A New Method for Color Halftoning
An important halftoning problem faced in the design of many color printers and copiers is to represent a 24-bit color image by a small number of preset output colors, generally at...
Maya Gupta, Michael J. Gormish, David G. Stork