12981 search results - page 2382 / 2597 » Artificial Intelligence |
164
click to vote
ISMVL
2005
IEEE
16 years 5 days ago
2005
IEEE
In this paper, we propose three novel cache models using Multiple-Valued Logic (MVL) paradigm to reduce the cache data storage area and cache energy consumption for embedded syste...
166
click to vote
TPHOL
2005
IEEE
16 years 5 days ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...
197
click to vote
TPHOL
2005
IEEE
16 years 5 days ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
151
click to vote
HT
2005
ACM
16 years 4 days ago
2005
ACM
Conversion between different adaptive hypermedia systems has barely been proposed, yet alone tested in realistic settings. This paper presents the evaluation of the interoperabili...
169
click to vote
ICAIL
2005
ACM
16 years 4 days ago
2005
ACM
In this paper we apply a general account of practical reasoning to arguing about legal cases. In particular, we describe how the reasoning in one very well known property law case...