521 search results - page 102 / 105 » Timing Verification Using HDTV |
112
click to vote
WWW
2003
ACM
16 years 26 days ago
2003
ACM
The move towards a semantic web will produce an increasing number of presentations whose creation is based upon semantic queries. Intelligent presentation generation engines have ...
187
click to vote
ICFP
2009
ACM
16 years 25 days ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...
KDD
2004
ACM
16 years 18 days ago
2004
ACM
There has historically been very little concern with extrapolation in Machine Learning, yet extrapolation can be critical to diagnose. Predictor functions are almost always learne...
187
click to vote
SIGMOD
2009
ACM
16 years 12 days ago
2009
ACM
This paper addresses the problem of monitoring the k nearest neighbors to a dynamically changing path in road networks. Given a destination where a user is going to, this new quer...
117
click to vote
MOBIHOC
2008
ACM
15 years 11 months ago
2008
ACM
Mobility is the distinguishing feature of vehicular networks, affecting the evolution of network connectivity over space and time in a unique way. Connectivity dynamics, in turn, ...