72 search results - page 10 / 15 » Link Proposals with Case-Based Reasoning Techniques |
NFM
2011
13 years 3 months ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
PVLDB
2010
13 years 6 months ago
2010
Many data-management applications require integrating data from a variety of sources, where different sources may refer to the same real-world entity in different ways and some ma...
INFOCOM
2003
IEEE
14 years 1 months ago
2003
IEEE
— This paper studies TCP performance over multihop wireless networks that use the IEEE 802.11 protocol as the access method. Our analysis and simulations show that, given a speci...
BMVC
1998
13 years 9 months ago
1998
A technique for recognizing planar objects in three-dimensional space is described. The object's domain is not restricted to purely two-dimensional items but includes fairly ...
ENTCS
2007
13 years 8 months ago
2007
Computing with failures is a typical programming technique in functional logic programs. However, there are also situations where a program should not fail (e.g., in a determinist...