1729 search results - page 150 / 346 » Practical Temporal Projection |
TON
2008
15 years 2 months ago
2008
The peer-to-peer (P2P) file-sharing applications are becoming increasingly popular and account for more than 70% of the Internet's bandwidth usage. Measurement studies show th...
109
click to vote
CN
2004
15 years 2 months ago
2004
A number of web cache-related algorithms, such as replacement and prefetching policies, rely on specific characteristics present in the sequence of requests for efficient performa...
221
Voted
NFM
2011
14 years 9 months ago
2011
Synthesis of finite-state machines from linear-time temporal logic (LTL) formulas is an important formal specification debugging technique for reactive systems and can quickly ge...
150
click to vote
SIGIR
2010
ACM
14 years 9 months ago
2010
ACM
Automatic Document Classification (ADC) is still one of the major information retrieval problems. It usually employs a supervised learning strategy, where we first build a classif...
CHI
2006
ACM
16 years 2 months ago
2006
ACM
Wireless peer-to-peer network technology enables new types of collaborative practices among people in public space and across multiple locations. BashoCam is an on-going project t...