1458 search results - page 38 / 292 » Monads for incremental computing |
137
Voted
ACS
2008
15 years 27 days ago
2008
Algebras and coalgebras are fundamental notions for large parts of mathematics. The basic constructions from universal algebra are now expressed in the language of categories and ...
92
Voted
NJC
2006
15 years 21 days ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
92
Voted
INLG
2004
Springer
15 years 6 months ago
2004
Springer
This paper describes an implemented model of context-based incremental tactical generation within the Dynamic Syntax framework [1] which directly reflects dialogue phenomena such ...
121
Voted
ICPR
2002
IEEE
16 years 1 months ago
2002
IEEE
This paper presents QuickStroke: a system for the incremental recognition of handwritten Chinese characters. Only a few strokes of an ideogram need to be entered in order for a ch...
68
Voted
WAOA
2007
Springer
15 years 6 months ago
2007
Springer
In the incremental version of the well-known k-median problem the objective is to compute an incremental sequence of facility sets F1 ⊆ F2 ⊆ .... ⊆ Fn, where each Fk contain...