6740 search results - page 480 / 1348 » Using Classification as a Programming Language |
173
click to vote
TGC
2010
Springer
15 years 2 months ago
2010
Springer
Static analysers are becoming so complex that it is crucial to ascertain the soundness of their results in a provable way. In this paper we develop a certified checker in Coq that ...
132
click to vote
AUSDM
2006
Springer
15 years 8 months ago
2006
Springer
The Scamseek project, as commissioned by ASIC has the principal objective of building an industrially viable system that retrieves potential scam candidate documents from the Inte...
130
click to vote
PLDI
1998
ACM
15 years 8 months ago
1998
ACM
This paper presents a typed programming language and compiler for run-time code generation. The language, called ML2, extends ML with modal operators in the style of the Mini-ML2 ...
138
click to vote
LREC
2010
15 years 6 months ago
2010
This paper presents a novel system HENNA (Hybrid Person Name Analyzer) for identifying language origin and analyzing linguistic structures of person names. We conduct ME-based cla...
132
click to vote
UM
2010
Springer
15 years 2 months ago
2010
Springer
Effective pedagogical strategies are important for e-learning environments. While it is assumed that an effective learning environment should craft and adapt its actions to the use...