Sciweavers

1172 search results - page 107 / 235
» Using Small Screen Space More Efficiently
Sort
View
SIGSOFT
2000
ACM
15 years 10 months ago
Automating first-order relational logic
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...
Daniel Jackson
ICASSP
2008
IEEE
16 years 21 days ago
Using dialogue acts to learn better repair strategies for spoken dialogue systems
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...
Matthew Frampton, Oliver Lemon
CVPR
2006
IEEE
16 years 8 months ago
Incorporating the Boltzmann Prior in Object Detection Using SVM
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...
Margarita Osadchy, Daniel Keren
ROBOCUP
2007
Springer
79views Robotics» more  ROBOCUP 2007»
16 years 11 days ago
Self-localization Using Odometry and Horizontal Bearings to Landmarks
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...
Matthias Jüngel, Max Risler
USS
2010
15 years 4 months ago
Fighting Coercion Attacks in Key Generation using Skin Conductance
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...
Payas Gupta, Debin Gao