Sciweavers

8431 search results - page 408 / 1687
» Algorithmically Independent Sequences
Sort
View
SDM
2012
SIAM
216views Data Mining» more  SDM 2012»
13 years 9 months ago
Feature Selection "Tomography" - Illustrating that Optimal Feature Filtering is Hopelessly Ungeneralizable
:  Feature Selection “Tomography” - Illustrating that Optimal Feature Filtering is Hopelessly Ungeneralizable George Forman HP Laboratories HPL-2010-19R1 Feature selection; ...
George Forman
FORTE
1994
15 years 8 months ago
An improvement in formal verification
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
Gerard J. Holzmann, Doron Peled
ICPR
2004
IEEE
16 years 8 months ago
Location and Recognition of Flashlight Projections for Visual Interfaces
We consider the location and recognition of flashlight projections given the image sequence supplied by a fixed camera monitoring a physical surface. A quotient method extracts a ...
Ahmed Ghali, Jonathan Green, Steve Benford, Tony P...
DCC
2005
IEEE
16 years 6 months ago
On the Entropy Rate of Pattern Processes
Abstract--We study the entropy rate of pattern sequences of stochastic processes, and its relationship to the entropy rate of the original process. We give a complete characterizat...
George M. Gemelos, Tsachy Weissman
IFL
2004
Springer
16 years 7 days ago
A Virtual Machine for Functional Logic Computations
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...
Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P....