9405 search results - page 1677 / 1881 » Computing a Model of Set Theory |
143
Voted
ASPLOS
2000
ACM
15 years 9 months ago
2000
ACM
One of the major challenges of post-PC computing is the need to reduce energy consumption, thereby extending the lifetime of the batteries that power these mobile devices. Memory ...
148
click to vote
SAC
2000
ACM
15 years 9 months ago
2000
ACM
: The World Wide Web’s anticipated scope as an environment for knowledge exchange has changed dramatically. Without major modifications to its primary mechanisms the Web has turn...
143
Voted
ECAI
1998
Springer
15 years 8 months ago
1998
Springer
Progressive processing allows a system to satisfy a set of requests under time pressure by limiting the amount of processing allocated to each task based on a predefined hierarchic...
140
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
Boundary element methods (BEM) are often used for complex 3-D capacitance extraction because of their efficiency, ease of data preparation, and automatic handling of open regions. ...
131
click to vote
ECCV
2010
Springer
15 years 8 months ago
2010
Springer
Automatic face sketch synthesis has important applications in law enforcement and digital entertainment. Although great progress has been made in recent years, previous methods onl...