895 search results - page 35 / 179 » A Spectrum of Applications of Automated Reasoning |
140
click to vote
TPHOL
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
122
click to vote
LOPSTR
2004
Springer
15 years 10 months ago
2004
Springer
For use in earlier approaches to automated module interface adaptation, we seek a restricted form of program synthesis. Given some typing assumptions and a desired result type, we ...
150
click to vote
EWCBR
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we present an agent-based application of a wireless tourist guide that combines the Beliefs-Desires-Intentions approach with learning capabilities of Case Base Reason...
167
click to vote
NMR
2004
Springer
15 years 10 months ago
2004
Springer
One of the crucial actions any reasoning system must undertake is the updating of its Knowledge Base (KB). This problem is usually referred to as the problem of belief change. The...
128
click to vote
DAC
2001
ACM
16 years 5 months ago
2001
ACM
In modern embedded systems including communication and multimedia applications, large fraction of power is consumed during memory access and data transfer. Thus, buses should be d...