1241 search results - page 55 / 249 » Prolog Server Pages |
159
Voted
STOC
2012
ACM
13 years 6 months ago
2012
ACM
We give the first time-space tradeoff lower bounds for Resolution proofs that apply to superlinear space. In particular, we show that there are formulas of size N that have Reso...
266
click to vote
GIS
2004
ACM
16 years 4 months ago
2004
ACM
Online multi-participant virtual-world systems have attracted significant interest from the Internet community but are hindered by their inability to efficiently support interacti...
232
Voted
SIGMOD
2007
ACM
16 years 3 months ago
2007
ACM
The popularity of high-density flash memory as data storage media has increased steadily for a wide spectrum of computing devices such as PDA's, MP3 players, mobile phones an...
153
click to vote
WWW
2001
ACM
16 years 4 months ago
2001
ACM
Construct web applications to provide dynamic, personalized web contents with high scalability and performance is a challenge to the software industry in the new Internet era. In ...
101
Voted
ICCAD
2006
IEEE
16 years 15 days ago
2006
IEEE
Electronic energy disorder associated within amorphous and polycrystaline molecular organic thin film structures strongly affects the macroscopic observable behavior of organic fi...