Sciweavers

4303 search results - page 51 / 861
» Are We There Yet
Sort
View
CACM
2011
96views more  CACM 2011»
14 years 7 months ago
Why STM can be more than a research toy
Software Transactional Memory (STM) promises to simplify concurrent programming without requiring specific hardware support. Yet, STM’s credibility lies on the extent to which ...
Aleksandar Dragojevic, Pascal Felber, Vincent Gram...
100
Voted
SAT
2009
Springer
79views Hardware» more  SAT 2009»
15 years 7 months ago
Minimizing Learned Clauses
Minimizing learned clauses is an effective technique to reduce memory usage and also speed up solving time. It has been implemented in MINISAT since 2005 and is now adopted by mos...
Niklas Sörensson, Armin Biere
108
Voted
CIS
2005
Springer
15 years 6 months ago
MFCC and SVM Based Recognition of Chinese Vowels
Abstract. The recognition of vowels in Chinese speech is very important for Chinese speech recognition and understanding. However, it is rather difficult and there has been no effi...
Fuhai Li, Jinwen Ma, Dezhi Huang
95
Voted
VLDB
1990
ACM
86views Database» more  VLDB 1990»
15 years 4 months ago
How to Forget the Past Without Repeating It
Bottom-up evaluation of deductive database programs has the advantage that it avoids repeated computation by storing all intermediate results and replacing recomputation by table ...
Jeffrey F. Naughton, Raghu Ramakrishnan
89
Voted
NETGAMES
2003
ACM
15 years 6 months ago
Modeling player session times of on-line games
One of the most important aspects in determining the global traffic characteristics of on-line games is to model the traffic behavior of the client. While modeling the client ON-O...
Francis Chang, Wu-chang Feng