Sciweavers

4050 search results - page 572 / 810
» Information Extraction from Voicemail
Sort
View
LFCS
2009
Springer
16 years 1 months ago
A Clausal Approach to Proof Analysis in Second-Order Logic
This work defines an extension CERES2 of the first-order cut-elimination method CERES to the subclass of sequent calculus proofs in second-order logic using quantifier-free comp...
Stefan Hetzl, Alexander Leitsch, Daniel Weller, Br...
ICCV
2007
IEEE
16 years 1 months ago
Real Time Body Pose Tracking in an Immersive Training Environment
Abstract. We describe a visual communication application for a dark, theaterlike interactive virtual simulation training environment. Our system visually estimates and tracks the b...
Chi-Wei Chu, Ramakant Nevatia
MLMI
2007
Springer
16 years 1 months ago
Automatic Decision Detection in Meeting Speech
Abstract. Decision making is an important aspect of meetings in organisational settings, and archives of meeting recordings constitute a valuable source of information about the de...
Pei-yun Hsueh, Johanna D. Moore
WPES
2006
ACM
16 years 1 months ago
A study on the value of location privacy
This paper introduces results of a study into the value of location privacy for individuals using mobile devices. We questioned a sample of over 1200 people from five EU countrie...
Daniel Cvrcek, Marek Kumpost, Vashek Matyas, Georg...
AI
2007
Springer
15 years 11 months ago
Pattern Classification in No-Limit Poker: A Head-Start Evolutionary Approach
We have constructed a poker classification system which makes informed betting decisions based upon three defining features extracted while playing poker: hand value, risk, and agg...
Brien Beattie, Garrett Nicolai, David Gerhard, Rob...