1172 search results - page 107 / 235 » Using Small Screen Space More Efficiently |
119
Voted
SIGSOFT
2000
ACM
15 years 8 months ago
2000
ACM
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
128
Voted
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
Repair or error-recovery strategies are an important design issue in Spoken Dialogue Systems (SDSs) - how to conduct the dialogue when there is no progress (e.g. due to repeated A...
124
Voted
CVPR
2006
IEEE
16 years 5 months ago
2006
IEEE
In this paper we discuss object detection when only a small number of training examples are given. Specifically, we show how to incorporate a simple prior on the distribution of n...
106
Voted
ROBOCUP
2007
Springer
15 years 9 months ago
2007
Springer
On the way to the big goal - the game against the human world champion on a real soccer field - the configuration of the soccer fields in RoboCup has changed during the last yea...
140
Voted
USS
2010
15 years 1 months ago
2010
Many techniques have been proposed to generate keys including text passwords, graphical passwords, biometric data and etc. Most of these techniques are not resistant to coercion a...