Sciweavers

4328 search results - page 121 / 866
» A New Kind of Science
Sort
View
ICPR
2010
IEEE
15 years 8 months ago
Improved Blur Insensitivity for Decorrelated Local Phase Quantization
This paper presents a novel blur tolerant decorrelation scheme for local phase quantization (LPQ) texture descriptor. As opposed to previous methods, the introduced model can be a...
Janne Heikkilä, Ville Ojansivu, Esa Rahtu
183
Voted
LFP
1990
102views more  LFP 1990»
15 years 7 months ago
A Semantic Basis for Quest
Quest is a programming language based on impredicative type quantifiers and subtyping within a three-level structure of kinds, types and type operators, and values. The semantics ...
Luca Cardelli, Giuseppe Longo
CORR
2008
Springer
94views Education» more  CORR 2008»
15 years 6 months ago
Decision Support with Belief Functions Theory for Seabed Characterization
The seabed characterization from sonar images is a very hard task because of the produced data and the unknown environment, even for an human expert. In this work we propose an ori...
Arnaud Martin, Isabelle Quidu
JANCL
2008
133views more  JANCL 2008»
15 years 6 months ago
Modal logic and invariance
Consider any logical system, what is its natural repertoire of logical operations? This question has been raised in particular for first-order logic and its extensions with genera...
Johan van Benthem, Denis Bonnay
WIAS
2008
56views more  WIAS 2008»
15 years 6 months ago
Web search engine working as a bee hive
A new approach to web search that is based on a bee hive metaphor is presented. We proposed a modified model of a bee hive. Our model comprises of a dance floor, an auditorium, and...
Pavol Návrat, Martin Kovacik, Anna Bou Ezze...