Sciweavers

2069 search results - page 252 / 414
» Linear time algorithms for Clobber
Sort
View
CDC
2010
IEEE
118views Control Systems» more  CDC 2010»
15 years 1 months ago
Sufficient conditions for stabilizability over Gaussian relay and cascade channels
We present sufficient conditions for stabilizability of an unstable linear time invariant scalar system across an additive white Gaussian noise channel, with a relay assisting the ...
Utsaw Kumar, Vijay Gupta, J. Nicholas Laneman
TCS
2011
15 years 1 months ago
The transposition median problem is NP-complete
During the last years, the genomes of more and more species have been sequenced, providing data for phylogenetic reconstruction based on genome rearrangement measures, where the m...
Martin Bader
AAAI
2011
14 years 6 months ago
Recognizing Plans with Loops Represented in a Lexicalized Grammar
This paper extends existing plan recognition research to handle plans containing loops. We supply an encoding of plans with loops for recognition, based on techniques used to pars...
Christopher W. Geib, Robert P. Goldman
CORR
2012
Springer
171views Education» more  CORR 2012»
14 years 2 months ago
Random Feature Maps for Dot Product Kernels
Approximating non-linear kernels using feature maps has gained a lot of interest in recent years due to applications in reducing training and testing times of SVM classifiers and...
Purushottam Kar, Harish Karnick
LPAR
1994
Springer
15 years 10 months ago
On Anti-Links
The concept of anti-link is defined, and useful equivalence-preserving operations on propositional formulas based on anti-links are introduced. These operations eliminate a potent...
Bernard Becker, Reiner Hähnle, Anavai Ramesh,...