2721 search results - page 199 / 545 » An experimental analysis of Lemke-Howson algorithm |
BMCBI
2010
14 years 7 months ago
2010
Background: One of the most commonly performed tasks when analysing high throughput gene expression data is to use clustering methods to classify the data into groups. There are a...
72
Voted
PLDI
2012
ACM
13 years 20 days ago
2012
ACM
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually cla...
106
click to vote
CIVR
2007
Springer
15 years 4 months ago
2007
Springer
Generic concept detection has been a widely studied topic in recent research on multimedia analysis and retrieval, but the issue of how to exploit the structure of a multimedia on...
CVPR
2000
IEEE
16 years 7 days ago
2000
IEEE
Inferring both 3D structure and motion of nonrigid objects from monocular images is an important problem in computational vision. The challenges stem not only from the absence of ...
PPOPP
2010
ACM
15 years 7 months ago
2010
ACM
We present a core calculus with two of X10's key constructs for parallelism, namely async and finish. Our calculus forms a convenient basis for type systems and static analys...