102 search results - page 19 / 21 » First Steps in Synthetic Computability Theory |
120
click to vote
ICFP
2003
ACM
16 years 1 months ago
2003
ACM
Functional Reactive Programming (FRP) is a framework for reactive programming in a functional setting. FRP has been applied to a number of domains, such as graphical animation, gr...
200
click to vote
STOC
1993
ACM
15 years 6 months ago
1993
ACM
Most complexity measures for concurrent algorithms for asynchronous shared-memory architectures focus on process steps and memory consumption. In practice, however, performance of ...
133
Voted
KR
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, partial knowledge about the possible transitions which can take place in a dynamical environment is represented by a set of pairs of propositional formulae, with th...
158
click to vote
CCECE
2006
IEEE
15 years 8 months ago
2006
IEEE
Presenting information to an e-learning environment is a challenge, mostly, because ofthe hypertextlhypermedia nature and the richness ofthe context and information provides. This...
107
click to vote
MOBIHOC
2008
ACM
16 years 1 months ago
2008
ACM
For long, node cooperation has been exploited as a data relaying mechanism. However, the wireless channel allows for much richer interaction between nodes. One such scenario is in...