4328 search results - page 162 / 866 » A New Kind of Science |
173
click to vote
DLOG
2000
15 years 8 months ago
2000
In this contribution we present an empirical analysis of the performance of the ALCNHR+ description logic system RACE applied to TBoxes with a very large number of primitive conce...
180
click to vote
GRC
2008
IEEE
15 years 6 months ago
2008
IEEE
Knowledge in knowledge bases have two categories: complete and incomplete. In this paper, through uniformly expressing these two kinds of knowledge, we first address four operator...
154
click to vote
ADCM
2007
15 years 6 months ago
2007
The purpose of this paper is to develop a spectral analysis of the Hessenberg matrix obtained by the GMRES algorithm used for solving a linear system with a singular matrix. We pr...
186
click to vote
IANDC
2008
15 years 6 months ago
2008
Recently, attention has been given to formally characterize security policies that are enforceable by different kinds of security mechanisms. A very important research problem is ...
132
click to vote
IJAC
2008
15 years 6 months ago
2008
This paper begins the development of a theory of what we will call symplectic alternating algebras. They have arisen in the study of 2-Engel groups but seem also to be of interest...