5165 search results - page 756 / 1033 » Consistency of the Neighbor-Net Algorithm |
156
click to vote
CVPR
2000
IEEE
15 years 8 months ago
2000
IEEE
The National Aeronautics and Space Administration (NASA), along with members of the aircraft industry, recently developed technologies for a new supersonic aircraft. One of the te...
139
click to vote
CCGRID
2009
IEEE
15 years 8 months ago
2009
IEEE
The understanding of H diffusion in materials is pivotal to designing suitable processes. Though a nudged elastic band (NEB)+molecular dynamics (MD)/quantum mechanics (QM) algori...
151
click to vote
ESA
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We study two-stage robust variants of combinatorial optimization problems like Steiner tree, Steiner forest, and uncapacitated facility location. The robust optimization ...
165
click to vote
PLANX
2007
15 years 6 months ago
2007
Although monadic second-order logic (MSO) has been a foundation of XML queries, little work has attempted to take MSO formulae themselves as a programming construct. Indeed, MSO f...
172
click to vote
FAST
2004
15 years 6 months ago
2004
CLOCK is a classical cache replacement policy dating back to 1968 that was proposed as a low-complexity approximation to LRU. On every cache hit, the policy LRU needs to move the a...