1205 search results - page 127 / 241 » Program Extraction from Large Proof Developments |
130
click to vote
IPPS
2009
IEEE
15 years 8 months ago
2009
IEEE
We introduce the coupled placement problem for modern data centers spanning placement of application computation and data among available server and storage resources. While the t...
113
click to vote
CVPR
2006
IEEE
16 years 3 months ago
2006
IEEE
This paper develops an efficient new method for 3D partial shape retrieval. First, a Monte Carlo sampling strategy is employed to extract local shape signatures from each 3D model...
108
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Quantitative proteomics technologies have been developed to comprehensively identify and quantify proteins in two or more complex samples. Quantitative proteomics base...
ERLANG
2006
ACM
15 years 7 months ago
2006
ACM
Erlang/OTP's DBMS Mnesia is lacking in several important areas to consider when implementing very large databases with massive scalability requirements. This article reveals ...
107
Voted
ISCAS
2005
IEEE
15 years 7 months ago
2005
IEEE
— Piecewise linear Lyapunov functions are used to design control gain matrices so that closed systems are robust stable and attractive regions are expanded as large as possible i...