Sciweavers

16666 search results - page 199 / 3334
» Descriptive and Computational Complexity
Sort
View
247
Voted
PODS
2004
ACM
115views Database» more  PODS 2004»
16 years 7 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
16 years 1 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
235
Voted
FOSSACS
2007
Springer
16 years 1 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»
16 years 1 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»
16 years 1 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...