Sciweavers

1000 search results - page 11 / 200
» order 2011
Sort
View
CORR
2011
Springer
110views Education» more  CORR 2011»
14 years 1 months ago
Minimum k-way cut of bounded size is fixed-parameter tractable
1-- list of accepted papers with abstracts 1— LIST OF ACCEPTED PAPERS WITH ABSTRACTS (By submitted order)
Ken-ichi Kawarabayashi, Mikkel Thorup
ICASSP
2011
IEEE
14 years 1 months ago
Stochastic optimization based on the Laplace transform order with applications to precoder designs
Stochastic optimization arising from precoding in a multi-antenna fading channel with channel mean feedback to maximize data rates is important but challenging. The use of relayin...
Minhua Ding, Keith Q. T. Zhang
FOSSACS
2011
Springer
14 years 29 days ago
A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
Naoki Kobayashi
ICCV
2011
IEEE
13 years 9 months ago
Learning to Cluster Using High Order Graphical Models with Latent Variables
This paper proposes a very general max-margin learning framework for distance-based clustering. To this end, it formulates clustering as a high order energy minimization problem w...
Nikos Komodakis
APAL
2011
14 years 4 months ago
The provably total NP search problems of weak second order bounded arithmetic
We define a new NP search problem, the “local improvement” principle, about labellings of an acyclic, bounded-degree graph. We show that, provably in PV, it characterizes the...
Leszek Aleksander Kolodziejczyk, Phuong Nguyen, Ne...