672 search results - page 73 / 135 » On the Expressive Power of the Loop Language |
143
click to vote
DASFAA
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract. In this paper, we present a theoretical foundation for querying inductive databases, which can accommodate disparate mining tasks. We present a data mining algebra includ...
168
click to vote
FOIS
2006
15 years 7 months ago
2006
A critical problem for practical KR is dealing with relationships that change over time. This problem is compounded by representation languages such as OWL that are biased towards ...
159
click to vote
ACL
1998
15 years 7 months ago
1998
Maximum entropy framework proved to be expressive and powerful for the statistical language modelling, but it suffers from the computational expensiveness of the model building. T...
146
click to vote
ENTCS
2008
15 years 6 months ago
2008
We present a system of refinement types for LF in the style of recent formulations where only canonical forms are well-typed. Both the usual LF rules and the rules for type refine...
181
click to vote
FOSSACS
2008
Springer
15 years 7 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...