Sciweavers

16666 search results - page 199 / 3334
» Descriptive and Computational Complexity
Sort
View
PODS
2004
ACM
115views Database» more  PODS 2004»
16 years 4 months ago
Foundations of Semantic Web Databases
The Semantic Web is based on the idea of adding more machine-readable semantics to web information via annotations written in a language called the Resource Description Framework ...
Claudio Gutiérrez, Carlos A. Hurtado, Alber...
CIMCA
2008
IEEE
15 years 11 months ago
Collective Operations as Building Blocks for Agent Cooperation
Cooperation is the process of synchronization and exchanging useful knowledge between agents in multiagent systems. Since cooperation associates agents into a collaborative team t...
Nguyen Tuan Duc, Ikuo Takeuchi
FOSSACS
2007
Springer
15 years 10 months ago
Logical Reasoning for Higher-Order Functions with Local State
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
Nobuko Yoshida, Kohei Honda, Martin Berger
3DPVT
2006
IEEE
216views Visualization» more  3DPVT 2006»
15 years 10 months ago
Shape Measure for Identifying Perceptually Informative Parts of 3D Objects
We propose a mathematical approach for quantifying shape complexity of 3D surfaces based on perceptual principles of visual saliency. Our curvature variation measure (CVM), as a 3...
Sreenivas R. Sukumar, David Page, Andrei V. Gribok...
DATE
2006
IEEE
127views Hardware» more  DATE 2006»
15 years 10 months ago
ASIP design and synthesis for non linear filtering in image processing
This paper presents an Application Specific Instruction Set Processor (ASIP) design for the implementation of a class of nonlinear image processing algorithms, the Retinex-like fi...
Luca Fanucci, Michele Cassiano, Sergio Saponara, D...