6413 search results - page 373 / 1283 » Classes of cycle bases |
182
click to vote
IDEAS
1997
IEEE
15 years 11 months ago
1997
IEEE
The ROL system is a novel deductive object-oriented database system that has been implemented at the University of Regina. It provides a uniform rule-based declarative language fo...
198
click to vote
ISKI
1992
15 years 11 months ago
1992
One of the objectives of ooDBMSs is to use type-speci c methods for manipulating objects, in order to maintain the consistency of the database. This is, however, little help for t...
190
click to vote
TPHOL
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper presents a survey of HOLCF, a higher order logic of computable functions. The logic HOLCF is based on HOLC, a variant of the well known higher order logic HOL, which o e...
169
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
We identify a class of mechanical systems for which a globally exponentially stable reduced order observer can be designed. The class is characterized by (the solvability of) a set...
185
click to vote
UAI
2004
15 years 8 months ago
2004
A key prerequisite to optimal reasoning under uncertainty in intelligent systems is to start with good class probability estimates. This paper improves on the current best probabi...