921 search results - page 67 / 185 » Expressing Computational Complexity in Constructive Type The... |
ER
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We investigate the computational complexity of reasoning over various fragments of the Extended Entity-Relationship (EER) language, which includes a number of constructs:...
ICFP
2006
ACM
14 years 7 months ago
2006
ACM
Despite its powerful module system, ML has not yet evolved for the modern world of dynamic and open modular programming, to which more primitive languages have adapted better so f...
ICFP
2001
ACM
14 years 7 months ago
2001
ACM
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...
ECML
1993
Springer
13 years 12 months ago
1993
Springer
In machine learning theory, problem classes are distinguished because of di erences in complexity. In 6 , a stochastic model of learning from examples was introduced. This PAClear...
AI
2000
Springer
13 years 7 months ago
2000
Springer
The Internet presents numerous sources of useful information--telephone directories, product catalogs, stock quotes, event listings, etc. Recently, many systems have been built th...