72 search results - page 10 / 15 » Link Proposals with Case-Based Reasoning Techniques |
89
Voted
NFM
2011
14 years 6 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...
91
Voted
PVLDB
2010
14 years 10 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...
102
click to vote
INFOCOM
2003
IEEE
15 years 4 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
15 years 29 days 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 ...
81
Voted
ENTCS
2007
14 years 11 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...