2477 search results - page 259 / 496 » First-Order Interactive Programming |
81
Voted
SLE
2009
Springer
15 years 9 months ago
2009
Springer
We present a domain-specific language embedded within the Haskell programming language to build scripts in a declarative and typesafe manner. We can categorize script components i...
105
Voted
UM
2009
Springer
15 years 9 months ago
2009
Springer
We present a model of user affect to recognize multiple user emotions during interaction with an educational computer game. Our model deals with the high level of uncertainty invol...
115
click to vote
APLAS
2009
ACM
15 years 9 months ago
2009
ACM
We define a higher-order process calculus with algebraic operations such as encryption and decryption, and develop a bisimulation proof method for behavioral equivalence in this c...
120
click to vote
ACSD
2008
IEEE
15 years 8 months ago
2008
IEEE
In recent years it has become clear that techniques developed for concurrent programming are in fact very useful for the analysis of complex systems in biology. To some level of i...
126
Voted
ICDIM
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, we propose a strategy for the automated and scheduled maintenance of a digital library collection. Existing systems require the user either to add new data manually...