1937 search results - page 244 / 388 » Rule Based Updates on Simple Knowledge Bases |
151
click to vote
JAR
2010
15 years 2 months ago
2010
Meta-logics and type systems based on intuitionistic logic are commonly used for specifying natural deduction proof systems. We shall show here that linear logic can be used as a m...
128
click to vote
ECCV
2000
Springer
16 years 6 months ago
2000
Springer
The Singular Value Decomposition (SVD) of a matrix is a linear algebra tool that has been successfully applied to a wide variety of domains. The present paper is concerned with the...
146
click to vote
ICIP
2004
IEEE
16 years 5 months ago
2004
IEEE
We propose in this paper an interactive segmentation algorithm based on curve evolution techniques. The task of automated segmentation has proven to be highly complex and applicat...
112
click to vote
ICDCS
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we focus on securing communication over wireless data networks from malicious eavesdroppers, using smart antennas. While conventional cryptography based approaches ...
141
Voted
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
In this paper we present an e-librarian service which is able to retrieve multimedia resources from a knowledge base in a more efficient way than by browsing through an index or by...