Sciweavers

651 search results - page 128 / 131
» Structured Types and Separation Logic
Sort
View
DIAL
2004
IEEE
181views Image Analysis» more  DIAL 2004»
13 years 11 months ago
Forensic Handwritten Document Retrieval System
Document storage and retrieval capabilities of the CEDAR-FOX forensic handwritten document examination system are described. The system is designed for automated and semi-automate...
Sargur N. Srihari, Zhixin Shi
IPAS
2008
13 years 9 months ago
Deblurring noisy radial-blurred images: spatially adaptive filtering approach
The deblurring of images corrupted by radial blur is studied. This type of blur appears in images acquired during any camera translation having a substantial component orthogonal ...
Giacomo Boracchi, Alessandro Foi, Vladimir Katkovn...
AAAI
2008
13 years 9 months ago
Resource Constrained Distributed Constraint Optimization with Virtual Variables
Cooperative problem solving with resource constraints are important in practical multi-agent systems. Resource constraints are necessary to handle practical problems including dis...
Toshihiro Matsui, Hiroshi Matsuo, Marius Silaghi, ...
MKWI
2008
206views Business» more  MKWI 2008»
13 years 8 months ago
Service-Oriented Architecture: Introducing a Query Language
: Language offers human beings the ability to exchange information. Whether the information is understood or not depends on the structure, complexity and knowledge of the language....
Sebastian Günther, Claus Rautenstrauch, Niko ...
VCIP
2003
113views Communications» more  VCIP 2003»
13 years 8 months ago
Encoding strategies for realizing MPEG-4 universal scalable video coding
The universal scalability, which integrates different types of scalabilities and consequently provides a large scaling range for each codec parameter, is of high interests to the ...
Yi-Shin Tung, Jin-Hau Kuo, Ja-Ling Wu, Wen-Huang C...