7694 search results - page 1102 / 1539 » An Implementation of an Applicative File System |
185
click to vote
PADL
2005
Springer
16 years 11 days ago
2005
Springer
We present an application of functional programming in the domain of sound generation and processing. We use the lazy language Clean to define purely functional stream generators,...
180
click to vote
PERVASIVE
2005
Springer
16 years 11 days ago
2005
Springer
This paper explores the use of camera phones with pen input as a platform for generating digital annotations to realworld objects. We analyze the client-side requirements for a ge...
178
click to vote
SAS
2005
Springer
16 years 11 days ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
196
click to vote
MM
2004
ACM
16 years 9 days ago
2004
ACM
Our research on Interactive Drama aims at conciliating interaction and story at the deepest level, the level of action. From a given story representation formalism, a set of eleme...
186
click to vote
AH
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. The ability of an adaptive hypermedia system to create tailored environments depends mainly on the amount and accuracy of information stored in each user model. One of th...