Sciweavers

5634 search results - page 366 / 1127
» About Abstract Classes
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
MLP based phoneme detectors for Automatic Speech Recognition
Phoneme posterior probabilities estimated using Multi-Layer Perceptrons (MLPs) are extensively used both as acoustic scores and features for speech recognition. In this paper we e...
Samuel Thomas, Patrick Nguyen, Geoffrey Zweig, Hyn...
CVPR
2012
IEEE
13 years 9 months ago
Accidental pinhole and pinspeck cameras: Revealing the scene outside the picture
We identify and study two types of “accidental” images that can be formed in scenes. The first is an accidental pinhole camera image. These images are often mistaken for shad...
Antonio Torralba, William T. Freeman
AAAI
2012
13 years 9 months ago
Reformulating Temporal Action Logics in Answer Set Programming
Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergi...
Joohyung Lee, Ravi Palla
CHI
2004
ACM
16 years 7 months ago
Anthropomorphic visualization: a new approach for depicting participants in online spaces
Anthropomorphic visualization is a new approach to presenting historical information about participants in online spaces using the human form as the basis for the visualization. V...
Ethan Perry, Judith S. Donath
ESOP
2009
Springer
16 years 1 months ago
Deny-Guarantee Reasoning
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
Mike Dodds, Xinyu Feng, Matthew J. Parkinson, Vikt...