Sciweavers

4983 search results - page 304 / 997
» order 2008
Sort
View
TIFS
2008
102views more  TIFS 2008»
15 years 6 months ago
Use of Identification Trial Statistics for the Combination of Biometric Matchers
Combination functions typically used in biometric identification systems consider as input parameters only those matching scores which are related to a single person in order to de...
Sergey Tulyakov, Venu Govindaraju
ISSE
2007
15 years 6 months ago
Specifying real-time properties in autonomic systems
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the require...
Ji Zhang, Zhinan Zhou, Betty H. C. Cheng, Philip K...
170
Voted
TIP
2008
135views more  TIP 2008»
15 years 6 months ago
Nonlinear Regularized Reaction-Diffusion Filters for Denoising of Images With Textures
Denoising is always a challenging problem in natural imaging and geophysical data processing. In this paper we consider the denoising of texture images using a nonlinear reaction-...
Gerlind Plonka, Jianwei Ma
JAIR
2007
65views more  JAIR 2007»
15 years 6 months ago
The Strategy-Proofness Landscape of Merging
Merging operators aim at defining the beliefs/goals of a group of agents from the beliefs/goals of each member of the group. Whenever an agent of the group has preferences over t...
Patricia Everaere, Sébastien Konieczny, Pie...
JAIR
2007
79views more  JAIR 2007»
15 years 6 months ago
Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting
We present a new algorithm for probabilistic planning with no observability. Our algorithm, called Probabilistic-FF, extends the heuristic forward-search machinery of Conformant-F...
Carmel Domshlak, Jörg Hoffmann