6740 search results - page 97 / 1348 » Using Classification as a Programming Language |
117
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
This paper defines PolyAML, a typed functional, aspect-oriented programming language. The main contribution of PolyAML is the seamless integration of polymorphism, run-time type a...
165
click to vote
ICDAR
2009
IEEE
14 years 11 months ago
2009
IEEE
In our previous work, a precision constrained Gaussian model (PCGM) was proposed for character modeling to design compact recognizers of handwritten Chinese characters. A maximum ...
99
Voted
SIGIR
2008
ACM
15 years 1 months ago
2008
ACM
This paper explores topic aspect (i.e., subtopic or facet) classification for English and Chinese collections. The evaluation model assumes a bilingual user who has found document...
110
click to vote
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
111
click to vote
AIED
2007
Springer
15 years 7 months ago
2007
Springer
Rules have been showed to be appropriate representations to model tutoring and can be easily applied to intelligent tutoring systems. We applied a machine learning technique, Class...