Sciweavers

327 search results - page 42 / 66
» Algorithms for infinite huffman-codes
Sort
View
ICML
2007
IEEE
14 years 7 months ago
Feature selection in a kernel space
We address the problem of feature selection in a kernel space to select the most discriminative and informative features for classification and data analysis. This is a difficult ...
Bin Cao, Dou Shen, Jian-Tao Sun, Qiang Yang, Zheng...
AAAI
2008
13 years 9 months ago
Towards Faster Planning with Continuous Resources in Stochastic Domains
Agents often have to construct plans that obey resource limits for continuous resources whose consumption can only be characterized by probability distributions. While Markov Deci...
Janusz Marecki, Milind Tambe
SMA
1999
ACM
100views Solid Modeling» more  SMA 1999»
13 years 11 months ago
Matchmaker: manifold BReps for non-manifold r-sets
Many solid modeling construction techniques produce non-manifold r-sets (solids). With each non-manifold model N we can associate a family of manifold solid models that are infini...
Jarek Rossignac, David E. Cardoze
ESOP
2008
Springer
13 years 8 months ago
Verification of Higher-Order Computation: A Game-Semantic Approach
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
C.-H. Luke Ong
CVPR
2004
IEEE
14 years 8 months ago
Separating Reflections from a Single Image Using Local Features
When we take a picture through a window the image we obtain is often a linear superposition of two images: the image of the scene beyond the window plus the image of the scene ref...
Anat Levin, Assaf Zomet, Yair Weiss