2780 search results - page 229 / 556 » Generalizing by Removing Detail |
143
click to vote
CP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. This paper takes a fresh look at the application of interval analysis to ordinary differential equations and studies how consistency techniques can help address the accur...
149
click to vote
ICLP
1998
Springer
15 years 10 months ago
1998
Springer
Implementing a compiler for a language with nondeterministic features is known to be a difficult task. This paper presents two new functions setChoicePoint and fail that extend th...
272
click to vote
IEAAIE
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In this paper we introduce a probabilistic approach to support visual supervision and gesture recognition. Task knowledge is both of geometric and visual nature and it is...
148
click to vote
IWMM
1998
Springer
15 years 10 months ago
1998
Springer
We show that for 8 real and varied C and C++ programs, several conventional dynamic storage allocators provide nearzero fragmentation, once we account for overheads due to impleme...
166
click to vote
SIGCOMM
1997
ACM
15 years 10 months ago
1997
ACM
We describe tcpanaly, a tool for automatically analyzing a TCP implementation's behavior by inspecting packet traces of the TCP's activity. Doing so requires surmounting...