Sciweavers

32545 search results - page 798 / 6509
» Data Structures and Algorithms
Sort
View
SOFSEM
2009
Springer
16 years 4 months ago
Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams
We propose a new type of canonical decision diagrams, which allows a more efficient symbolic state-space generation for general asynchronous systems by allowing on-the-fly extensi...
Min Wan, Gianfranco Ciardo
SCALESPACE
2007
Springer
16 years 1 months ago
A Geometric-Functional-Based Image Segmentation and Inpainting
Abstract. The Mumford-Shah functional minimization, and related algorithms for image segmentation, involve a tradeoff between a twodimensional image structure and one-dimensional ...
Vladimir Kluzner, Gershon Wolansky, Yehoshua Y. Ze...
231
Voted
DASFAA
2006
IEEE
152views Database» more  DASFAA 2006»
16 years 1 months ago
Effective Keyword Search in XML Documents Based on MIU
Keyword search is an effective approach for most users to search for information because they do not need to learn complex query languages or the underlying structures of the data....
Jianjun Xu, Jiaheng Lu, Wei Wang 0009, Baile Shi
GRAPHICSINTERFACE
2001
15 years 9 months ago
Watermarking 3D Polygonal Meshes in the Mesh Spectral Domain
Digital watermarking embeds a structure called watermark into the target data, such as image and 3D polygonal models. The watermark can be used, for example, to enforce copyright ...
Ryutarou Ohbuchi, Shigeo Takahashi, Takahiko Miyaz...
174
Voted
CORR
2010
Springer
85views Education» more  CORR 2010»
15 years 7 months ago
Generic design of Chinese remaindering schemes
We propose a generic design for Chinese remainder algorithms. A Chinese remainder computation consists in reconstructing an integer value from its residues modulo non coprime inte...
Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis ...