Sciweavers

1000 search results - page 11 / 200
» order 2011
Sort
View
CORR
2011
Springer
110views Education» more  CORR 2011»
14 years 3 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 3 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 3 months 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 11 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 6 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...