7988 search results - page 1375 / 1598 » A Useful Undecidable Theory |
250
click to vote
GIS
2004
ACM
16 years 5 months ago
2004
ACM
Spatial, temporal and spatio-temporal aggregates over continuous streams of remotely sensed image data build a fundamental operation in many applications in the environmental scie...
237
click to vote
GIS
2005
ACM
16 years 5 months ago
2005
ACM
Several application contexts require the ability to use together and compare different geographic datasets (maps) concerning the same or overlapping areas. This is for example the...
197
click to vote
DAC
2009
ACM
16 years 5 months ago
2009
ACM
Elevated chip temperatures are true limiters to the scalability of computing systems. Excessive runtime thermal variations compromise the performance and reliability of integrated...
123
click to vote
ICML
2004
IEEE
16 years 5 months ago
2004
IEEE
Inductive learning of first-order theory based on examples has serious bottleneck in the enormous hypothesis search space needed, making existing learning approaches perform poorl...
142
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
In sponsored search, a number of advertising slots is available on a search results page, and have to be allocated among a set of advertisers competing to display an ad on the pag...