Sciweavers

5608 search results - page 119 / 1122
» On the Theory of Matchgate Computations
Sort
View
IWPEC
2004
Springer
15 years 7 months ago
On Decidability of MSO Theories of Representable Matroids
We show that, for every finite field   , the class of all   representable matroids of branch-width at most a constant t has a decidable MSO theory. In the other direction, we p...
Petr Hlinený, Detlef Seese
ICCV
2009
IEEE
16 years 6 months ago
A Theory of Active Object Localization
We present some theoretical results related to the problem of actively searching for a target in a 3D environment, under the constraint of a maximum search time. We define the o...
Alexander Andreopoulos, John K. Tsotsos
ECCV
2002
Springer
16 years 3 months ago
Revisiting Single-View Shape Tensors: Theory and Applications
Abstract. Given the projection of a su cient numberof points it is possible to algebraically eliminate the camera parameters and obtain viewinvariant functions of image coordinates...
Anat Levin, Amnon Shashua
PODS
2003
ACM
151views Database» more  PODS 2003»
16 years 1 months ago
Feasible itemset distributions in data mining: theory and application
Computing frequent itemsets and maximally frequent itemsets in a database are classic problems in data mining. The resource requirements of all extant algorithms for both problems...
Ganesh Ramesh, William Maniatty, Mohammed Javeed Z...
SAC
2010
ACM
15 years 8 months ago
Reachability analysis of GSPDIs: theory, optimization, and implementation
Analysis of systems containing both discrete and continuous dynamics, hybrid systems, is a difficult issue. Most problems have been shown to be undecidable in general, and decidab...
Hallstein Asheim Hansen, Gerardo Schneider