2036 search results - page 61 / 408 » A generic type-and-effect system |
97
Voted
MM
2004
ACM
15 years 6 months ago
2004
ACM
Mobile applications such as mobile tourist guides that provide tourists with location-based information today mostly aim to adapt the multimedia content to the different end user...
126
click to vote
AFP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...
110
click to vote
AMAST
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
104
click to vote
ICALT
2003
IEEE
15 years 5 months ago
2003
IEEE
The issue of initializing the model of a new student is of great importance for educational applications that aim at offering individualized support to students. In this paper we ...
132
click to vote
CIKM
2009
Springer
15 years 5 months ago
2009
Springer
Data mining can extract important knowledge from large data collections - but sometimes these collections are split among various parties. Privacy concerns may prevent the parties...