Sciweavers

12742 search results - page 52 / 2549
» On canonical number systems
Sort
View
MM
2010
ACM
190views Multimedia» more  MM 2010»
14 years 10 months ago
Automatic skin enhancement with visible and near-infrared image fusion
Skin tones, portraits in particular, are of critical importance in photography and video, but a number of factors, such as pigmentation irregularities (e.g., moles, freckles), irr...
Sabine Süsstrunk, Clément Fredembach, ...
ICONIP
1998
14 years 11 months ago
A Telephone Number Corrector Using a Counterpropagation Network
This paper describes the implementation of a system that reminds the user of the telephone number of a given list, even if the user only remembers part of it, or if the given numb...
Juan Moreno García, Gabriel Sebastiá...
RTSS
1996
IEEE
15 years 1 months ago
Reducing the number of clock variables of timed automata
We propose a method for reducing the number of clocks of a timed automaton by combining two algorithms. The first one consists in detecting active clocks, that is, those clocks wh...
Conrado Daws, Sergio Yovine
CVPR
2005
IEEE
15 years 11 months ago
Joint Nonparametric Alignment for Analyzing Spatial Gene Expression Patterns in Drosophila Imaginal Discs
To compare spatial patterns of gene expression, one must analyze a large number of images as current methods are only able to measure a small number of genes at a time. Bringing i...
Parvez Ahammad, Cyrus L. Harmon, Ann Hammonds, Sha...
CAV
1999
Springer
104views Hardware» more  CAV 1999»
15 years 2 months ago
On the Representation of Probabilities over Structured Domains
Abstract. In this paper we extend one of the main tools used in veri cation of discrete systems, namely Binary Decision Diagrams (BDD), to treat probabilistic transition systems. W...
Marius Bozga, Oded Maler