Sciweavers

8496 search results - page 1290 / 1700
» Problem Solving and Complex Systems
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
Exploring implicit score normalization techniques in speaker verification
In this paper we first introduce four kinds of modification of Symmetric Scoring [1] which produce likelihood ratios that do not need to be explicitly normalized, i.e. T-norm, Z...
Ce Zhang, Rong Zheng, Bo Xu
CVPR
2000
IEEE
16 years 8 months ago
Optimizing Learning in Image Retrieval
Combining learning with vision techniques in interactive image retrieval has been an active research topic during the past few years. However, existing learning techniques either ...
Yong Rui, Thomas S. Huang
ECCV
2006
Springer
16 years 8 months ago
Direct Solutions for Computing Cylinders from Minimal Sets of 3D Points
Efficient direct solutions for the determination of a cylinder from points are presented. The solutions range from the well known direct solution of a quadric to the minimal soluti...
Christian Beder, Wolfgang Förstner
CHI
2004
ACM
16 years 7 months ago
A commonsense approach to predictive text entry
People cannot type as fast as they think, especially when faced with the constraints of mobile devices. There have been numerous approaches to solving this problem, including rese...
Tom Stocky, Alexander Faaborg, Henry Lieberman
CADE
2006
Springer
16 years 7 months ago
Inferring Network Invariants Automatically
Abstract. Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P, a network invariant for P is that abstracts th...
Olga Grinchtein, Martin Leucker, Nir Piterman
« Prev « First page 1290 / 1700 Last » Next »