2736 search results - page 319 / 548 » Implementable allocation rules |
180
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
216
Voted
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...
164
click to vote
JCIT
2008
15 years 6 months ago
2008
The development of techniques for knowledge-based navigation constitutes one of the major trends in the current research on mobile robotics. Fuzzy logic provides tools that are of...
202
click to vote
JIIS
2000
15 years 6 months ago
2000
Abstract. Efficient query processing is one of the basic needs for data mining algorithms. Clustering algorithms, association rule mining algorithms and OLAP tools all rely on effi...
172
click to vote
ER
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we describe a method to perform type inference over data stored in an RDBMS, where rules over the data are specified using OWLDL. Since OWL-DL is an implementation of...