2335 search results - page 326 / 467 » Type Checking Type Classes |
171
click to vote
FCT
2005
Springer
16 years 9 days ago
2005
Springer
Leftist grammars can be characterized in terms of rules of the form a → ba and cd → d, without distinction between terminals and nonterminals. They were introduced by Motwani e...
171
click to vote
DOLAP
2004
ACM
16 years 7 days ago
2004
ACM
Computer system sizing involves estimating the amount of hardware resources needed to support a new workload not yet deployed in a production environment. In order to determine th...
200
click to vote
SIGADA
2004
Springer
16 years 4 days ago
2004
Springer
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...
180
click to vote
WEBDB
2004
Springer
16 years 4 days ago
2004
Springer
Among the various proposals answering the shortcomings of Document Type Definitions (DTDs), XML Schema is the most widely used. Although DTDs and XML Schema Defintions (XSDs) di...
183
click to vote
ECML
2003
Springer
16 years 16 hour ago
2003
Springer
Abstract. This paper studies the properties and performance of models for estimating local probability distributions which are used as components of larger probabilistic systems ...