1115 search results - page 126 / 223 » An Abstract Look at Realizability |
159
click to vote
INFOCOM
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract—Interactive TCP applications, such as Telnet and the Web, are particularly sensitive to network congestion. Indeed, congestion-induced queuing and packet loss can be a s...
144
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Reliably extracting information from aerial imagery is a difficult problem with many practical applications. One specific case of this problem is the task of automatica...
129
click to vote
PAKDD
2010
ACM
15 years 9 months ago
2010
ACM
Abstract. Discovering interesting patterns in long sequences, and finding confident association rules within them, is a popular area in data mining. Most existing methods define...
145
click to vote
CC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. It is difficult to develop style-preserving source-to-source transformation engines for C and C++. The main reason is not the complexity of those languages, but the use o...
158
click to vote
ASIACRYPT
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. There have been many proposals in recent years for passwordauthenticated key exchange protocols. Many of these have been shown to be insecure, and the only ones that seem...