Sciweavers

1999 search results - page 111 / 400
» Dependently Typed Grammars
Sort
View
DELOS
2000
15 years 7 months ago
Analysis of the Effectiveness-Efficiency Dependence for Image Retrieval
Similarity search in image database is commonly implemented as nearest-neighbor search in a feature space of the images. For that purpose, a large number of different features as ...
Martin Heczko, Daniel A. Keim, Roger Weber
TROB
2008
128views more  TROB 2008»
15 years 6 months ago
Convergence-Preserving Switching for Topology-Dependent Decentralized Systems
Abstract-- Stability analysis of decentralized control mechanisms for networked, coordinating systems has generally focused on specific controller implementations, such as nearest ...
Brian Shucker, Todd D. Murphey, John K. Bennett
PAMI
2007
101views more  PAMI 2007»
15 years 5 months ago
Surface Dependent Representations for Illumination Insensitive Image Comparison
—We consider the problem of matching images to tell whether they come from the same scene viewed under different lighting conditions. We show that the surface characteristics det...
Margarita Osadchy, David W. Jacobs, Michael Linden...
ICASSP
2010
IEEE
15 years 4 months ago
Psychoacoustically motivated, frequency dependent Tikhonov regularization for soundfield parametrization
Noise is inevitably introduced during model based parametrization of acoustic fields, acquired using microphone arrays. This is due to the finite number of microphones used, the f...
Deep Sen, Shuai Wang, Andy Deffrasnes
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
15 years 4 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink