3281 search results - page 473 / 657 » Bases for parametrized iterativity |
ISPD
2010
ACM
15 years 8 months ago
2010
ACM
This paper presents SafeChoice (SC), a novel clustering algorithm for wirelength-driven placement. Unlike all previous approaches, SC is proposed based on a fundamental theorem, s...
LATIN
2010
Springer
15 years 8 months ago
2010
Springer
Abstract The LLL algorithm aims at finding a “reduced” basis of a Euclidean lattice. The LLL algorithm plays a primary role in many areas of mathematics and computer science. ...
ISBI
2009
IEEE
15 years 8 months ago
2009
IEEE
The inverse problem with distributed dipoles models in M/EEG is strongly ill-posed requiring to set priors on the solution. Most common priors are based on a convenient ℓ2 norm....
123
click to vote
CICLING
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. As any other classification task, Word Sense Disambiguation requires a large number of training examples. These examples, which are easily obtained for most of the tasks,...
146
click to vote
TACAS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...