Sciweavers

4050 search results - page 572 / 810
» Information Extraction from Voicemail
Sort
View
LFCS
2009
Springer
16 years 10 days 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 3 days 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
163
Voted
MLMI
2007
Springer
15 years 12 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
15 years 11 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 9 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...