2634 search results - page 50 / 527 » Faster Than Uppaal |
180
click to vote
ACL
2012
13 years 8 months ago
2012
As one of the most popular micro-blogging services, Twitter attracts millions of users, producing millions of tweets daily. Shared information through this service spreads faster ...
157
click to vote
ACL
2012
13 years 8 months ago
2012
We address the problem of learning the mapping between words and their possible pronunciations in terms of sub-word units. Most previous approaches have involved generative modeli...
200
click to vote
HPCA
1996
IEEE
15 years 10 months ago
1996
IEEE
This paper compares several implementations of entry consistency (EC) and lazy release consistency (LRC), two relaxed memory models in use with software distributed shared memory ...
154
click to vote
RECOMB
2005
Springer
16 years 6 months ago
2005
Springer
This paper proposes a novel tree decomposition based side-chain assignment algorithm, which can obtain the globally optimal solution of the side-chain packing problem very efficien...
135
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Covering problems arise in many areas of electronic design automation such as logic minimization and technology mapping. An exact solution can critically impact both size and perf...