1670 search results - page 281 / 334 » On Skolemization in constructive theories |
ACL
2010
14 years 6 months ago
2010
Weblogs are a source of human activity knowledge comprising valuable information such as facts, opinions and personal experiences. In this paper, we propose a method for mining pe...
111
click to vote
ACCV
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. We propose a methodology for recognizing actions at a distance by watching the human poses and deriving descriptors that capture the motion patterns of the poses. Human p...
WIOPT
2011
IEEE
14 years 1 months ago
2011
IEEE
Abstract—This paper considers maximizing throughput utility in a multi-user network with partially observable Markov ON/OFF channels. Instantaneous channel states are never known...
167
click to vote
COMPGEOM
2011
ACM
14 years 1 months ago
2011
ACM
We propose a framework for compressive sensing of images with local geometric features. Specifically, let x ∈ RN be an N-pixel image, where each pixel p has value xp. The image...
103
click to vote
PLDI
2011
ACM
14 years 21 days ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...