1917 search results - page 163 / 384 » Experimenting with Nonmonotonic Reasoning |
151
click to vote
VTS
1999
IEEE
15 years 11 months ago
1999
IEEE
1 While multichip module technology has been developed for high performance IC applications, the technology is not widely adopted due to economical reasons. One of the reasons that...
192
Voted
GIS
1999
ACM
15 years 11 months ago
1999
ACM
In this paper we investigate the development of an embedded and mobile geographic information system. Its main characteristics concern the possibility to access various informatio...
181
click to vote
ILP
1999
Springer
15 years 11 months ago
1999
Springer
This paper presents an application of Inductive Logic Programming (ILP) and Backpropagation Neural Network (BNN) to the problem of Thai character recognition. In such a learning pr...
181
click to vote
CAV
1998
Springer
15 years 11 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
151
click to vote
EWCBR
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Experience with the growing number of large-scale CBR systems has led to increasing recognition of the importance of case-base maintenance. Multiple researchers have addr...