1011 search results - page 126 / 203 » The three dimensions of proofs |
151
click to vote
ISCA
2007
IEEE
16 years 19 days ago
2007
IEEE
Hardware Transactional Memory (HTM) systems reflect choices from three key design dimensions: conflict detection, version management, and conflict resolution. Previously propos...
168
click to vote
VECPAR
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Matter in the universe mainly consists of plasma. The dynamics of plasmas is controlled by magnetic fields. To simulate the evolution of magnetised plasma, we solve the e...
173
click to vote
GECCO
2010
Springer
15 years 10 months ago
2010
Springer
Derandomization by means of mirrored samples has been recently introduced to enhance the performances of (1, λ) and (1 + 2) Evolution-Strategies (ESs) with the aim of designing f...
165
click to vote
TASLP
2010
15 years 1 months ago
2010
Various methods have recently appeared to transform foreign-accented speech into its native-accented counterpart. Evaluation of these accent conversion methods requires extensive l...
208
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
Significant research has been devoted to detecting people
in images and videos. In this paper we describe a human detection
method that augments widely used edge-based features
...