2490 search results - page 268 / 498 » Complexity of Contextual Reasoning |
141
click to vote
LPAR
2007
Springer
15 years 11 months ago
2007
Springer
We investigate the possibility of developing a decidable logic which allows expressing a large variety of real world specifications. The idea is to define a decidable subset of m...
107
click to vote
SAMT
2007
Springer
15 years 11 months ago
2007
Springer
— Annotation of multimedia content with metadata is regarded as a key issue for efficiently handling such content. MPEG-7 is a major standard that has been developed for this rea...
172
Voted
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
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...
159
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
The ever increasing complexity and heterogeneity of modern System-on-Chip (SoC) architectures make an early and systematic exploration of alternative solutions mandatory. Efficien...
146
click to vote
LICS
2006
IEEE
15 years 11 months ago
2006
IEEE
— In a data word each position carries a label from a finite alphabet and a data value from some infinite domain. These models have been already considered in the realm of semi...