6597 search results - page 115 / 1320 » Orderings and Types in Databases |
ML
2006
ACM
14 years 3 months ago
2006
ACM
Ocsigen is a framework for programming highly dynamic web sites in Objective Caml. It allows to program sites as Ocaml applications and introduces new concepts to take into accoun...
BCSHCI
2008
13 years 10 months ago
2008
In order to maximize online reading performance and comprehension, how should a designer choose typographical variables such as font size and font type? This paper presents an eye...
COLING
1990
13 years 10 months ago
1990
An experimental system for dialogue structure analysis based on a new type plan recognition model for spoken dialogues has been implemented. This model is realized by using four t...
ENTCS
2006
13 years 9 months ago
2006
Maude has revealed itself as a powerful tool for implementing different kinds of semantics so that quick prototypes are available for trying examples and proving properties. In th...
SCP
1998
13 years 8 months ago
1998
Interpretation Using Typed Decision Graphs Laurent Mauborgne LIENS, ´Ecole Normale Sup´erieure, 45 rue d’Ulm, 75230 Paris cedex 05, France Abstract. This article presents a way...