Sciweavers

1419 search results - page 61 / 284
» A Characterization of Constructive Dimension
Sort
View
LFCS
2009
Springer
15 years 6 months ago
Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination
Canonical propositional Gentzen-type calculi are a natural class of systems which in addition to the standard axioms and structural rules have only logical rules where exactly one ...
Arnon Avron, Anna Zamansky
ICMCS
2007
IEEE
223views Multimedia» more  ICMCS 2007»
15 years 6 months ago
An Effective Local Invariant Descriptor Combining Luminance and Color Information
Extraction of stable local invariant features is very important in many computer vision applications, such as image matching, object recognition and image retrieval. Most existing...
Dong Zhang, Weiqiang Wang, Wen Gao, Shuqiang Jiang
IEEEICCI
2005
IEEE
15 years 5 months ago
Toward the development of cognitive task difficulty metrics to support intelligence analysis research
Intelligence analysis is a cognitively complex task that is the subject of considerable research aimed at developing methods and tools to aid the analysis process. To support such...
Frank L. Greitzer
ESANN
2006
15 years 1 months ago
Sanger-driven MDSLocalize - a comparative study for genomic data
Multidimensional scaling (MDS) methods are designed to establish a one-to-one correspondence of input-output relationships. While the input may be given as high-dimensional data it...
Marc Strickert, Nese Sreenivasulu, Udo Seiffert
AIM
2006
14 years 12 months ago
Toward developing web based support systems for enhanced trust among value web chains
: This paper explores the use of the web to build trust among value web chains. Businesses tend to concentrate on the traditional tangible elements of the supply chain and ignore t...
Mokhtar Amami, Jacques Thevenot