949 search results - page 110 / 190 » On Topological Consistency and Realization |
169
click to vote
CGO
2009
IEEE
16 years 1 months ago
2009
IEEE
—Most research into high-performance software transactional memory (STM) assumes that transactions will run on a processor with a relatively strict memory model, such as Total St...
128
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Letter units, or graphemes, have been reported in the literature as a surprisingly effective substitute to the more traditional phoneme units, at least in languages that enjoy a s...
182
click to vote
SAT
2009
Springer
16 years 24 days ago
2009
Springer
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
157
click to vote
CDC
2008
IEEE
16 years 23 days ago
2008
IEEE
Abstract— This paper presents a within-stride feedback controller that achieves an exponentially stable, periodic, and fast walking gait for a 3D bipedal robot consisting of a to...
157
click to vote
IRI
2008
IEEE
16 years 21 days ago
2008
IEEE
The management of reservoir simulation models has been an important need of engineers in petroleum industry. However, due to data sharing among reservoir simulation models, data r...