Sciweavers

2362 search results - page 320 / 473
» Programming in Standard ML
Sort
View
ECAI
2000
Springer
15 years 8 months ago
Lazy Propositionalisation for Relational Learning
A number of Inductive Logic Programming (ILP) systems have addressed the problem of learning First Order Logic (FOL) discriminant definitions by first reformulating the FOL lear...
Érick Alphonse, Céline Rouveirol
110
Voted
ECWEB
2000
Springer
110views ECommerce» more  ECWEB 2000»
15 years 8 months ago
Secure PC-Franking for Everyone
PC franking systems allow customers to download postage value into their PCs and to print postage value onto envelopes or mailing labels by using regular desktop printers connected...
Gerrit Bleumer
TOOLS
1999
IEEE
15 years 8 months ago
Class Algebra for Ontology Reasoning
Class algebra provides a natural framework for sharing of ISA hierarchies between users that may be unaware of each other's definitions. This permits data from relational dat...
Daniel J. Buehrer, Chee-Hwa Lee
TOOLS
1999
IEEE
15 years 8 months ago
Two-Level Modeling
Experience on a large banking application has highlighted expressive weaknesses in the standard (concrete) syntax of UML, resulting in models that are under-constrained. It es, ho...
Anthony Lauder, Stuart Kent
HICSS
1998
IEEE
176views Biometrics» more  HICSS 1998»
15 years 8 months ago
Intelligent System for Reading Handwriting on Forms
The National Institute of Standards and Technology (NIST) has developed a form-based handprint recognition system for reading information written on forms. This public domain soft...
Michael D. Garris