2036 search results - page 249 / 408 » A generic type-and-effect system |
137
click to vote
SYBEN
1998
15 years 7 months ago
1998
This paper presents an approach for authoring training applications. In this approach we think an author can undertake two roles: the meta-authoring role and the authoring role. A...
139
click to vote
IM
1997
15 years 7 months ago
1997
We present an architecture for customer management and control of a broadband VPN service. The architecture is aimed at giving the VPN customer a high level of control over the tr...
177
click to vote
AAAI
1996
15 years 7 months ago
1996
Anagent can performerroneous actions. Despite such errors, one might want to understand what the agent tried to achieve. Suchunderstanding is important, for example, in intelligen...
199
click to vote
FUNGAMES
2008
15 years 7 months ago
2008
We present a test-bed platform for the iterative design of multimodal games on a mobile phone or a PDA. While our test-bed platform is general to multimodal systems, in this paper ...
149
Voted
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
We present a closed dependent type theory whose inductive types are given not by a scheme for generative declarations, but by encoding in a universe. Each inductive datatype arise...