Sciweavers

1922 search results - page 377 / 385
» ie 2007
Sort
View
ECCC
2007
86views more  ECCC 2007»
14 years 12 months ago
Testing Halfspaces
This paper addresses the problem of testing whether a Boolean-valued function f is a halfspace, i.e. a function of the form f(x) = sgn(w·x−θ). We consider halfspaces over the ...
Kevin Matulef, Ryan O'Donnell, Ronitt Rubinfeld, R...
ENTCS
2007
134views more  ENTCS 2007»
14 years 12 months ago
Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation
The interpretative approach to compilation allows compiling programs by partially evaluating an interpreter w.r.t. a source program. This approach, though very attractive in princ...
Miguel Gómez-Zamalloa, Elvira Albert, Germ&...
IANDC
2007
152views more  IANDC 2007»
14 years 12 months ago
The reactive simulatability (RSIM) framework for asynchronous systems
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
Michael Backes, Birgit Pfitzmann, Michael Waidner
PR
2008
117views more  PR 2008»
14 years 12 months ago
A scale-free distribution of false positives for a large class of audio similarity measures
The "bag-of-frames" approach (BOF) to audio pattern recognition models signals as the long-term statistical distribution of their local spectral features, a prototypical...
Jean-Julien Aucouturier, François Pachet
PR
2008
144views more  PR 2008»
14 years 12 months ago
Gesture spotting for low-resolution sports video annotation
Human gesture recognition plays an important role in automating the analysis of video material at a high level. Especially in sports videos, the determination of the player's...
Myung-Cheol Roh, William J. Christmas, Josef Kittl...