7991 search results - page 305 / 1599 » Using More Reasoning to Improve |
151
click to vote
EWCBR
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Case-Based Design CBD applies a knowledge-based process to the knowledge commonly associated with Case-Based Reasoning CBR systems the library of exemplars. This paper in...
270
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...
157
click to vote
ICSM
2003
IEEE
16 years 33 min ago
2003
IEEE
The conceptual structure of existing software systems is often implicit or non-existing in the source code. We prolightweight abstraction of intentional source-code views as a mea...
165
click to vote
SIGCOMM
1999
ACM
15 years 11 months ago
1999
ACM
We evaluate pathchar, a tool that infers the characteristics of links along an Internet path latency, bandwidth, queue delays . Looking at two example paths, we identify circumst...
141
click to vote
MFCS
1993
Springer
15 years 10 months ago
1993
Springer
We prove (for fixed k) that at least 1 k−1 (n 2 ) − O(n) equality tests and no more than 2 k (n 2 )+O(n) equality tests are needed in the worst case to determine whether a giv...