Sciweavers

524 search results - page 33 / 105
» Why phishing works
Sort
View
AIPS
2006
13 years 10 months ago
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning
In AI Planning, as well as Verification, a successful method is to compile the application into boolean satisfiability (SAT), and solve it with state-of-the-art DPLL-based procedu...
Jörg Hoffmann, Carla P. Gomes, Bart Selman
COMPLEXITY
2004
69views more  COMPLEXITY 2004»
13 years 8 months ago
Mathematical models for explaining the emergence of specialization in performing tasks
In an evolving community consisting of many individuals, it is often the case that the individuals tend, over time, to become more specialized in performing the tasks necessary fo...
Daniel Solow, Joesph Szmerekovsky
LPAR
2010
Springer
13 years 6 months ago
Pairwise Cardinality Networks
Abstract. We introduce pairwise cardinality networks, networks of comparators, derived from pairwise sorting networks, which express cardinality constraints. We show that pairwise ...
Michael Codish, Moshe Zazon-Ivry
ACCV
2010
Springer
13 years 3 months ago
Efficient Visual Object Tracking with Online Nearest Neighbor Classifier
Abstract. A tracking-by-detection framework is proposed that combines nearest-neighbor classification of bags of features, efficient subwindow search, and a novel feature selection...
Steve Gu, Ying Zheng, Carlo Tomasi
TSP
2010
13 years 3 months ago
A subband adaptive iterative shrinkage/thresholding algorithm
We investigate a subband adaptive version of the popular iterative shrinkage/thresholding algorithm that takes different update steps and thresholds for each subband. In particular...
Ilker Bayram, Ivan W. Selesnick