536 search results - page 44 / 108 » A computer verified, monadic, functional implementation of t... |
162
click to vote
ICFP
2003
ACM
16 years 6 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...
224
click to vote
DSL
2009
15 years 4 months ago
2009
Abstract. Various forms of pervasive computing environments are being deployed in an increasing number of areas including healthcare, home automation, and military. This evolution ...
176
click to vote
ICALT
2008
IEEE
16 years 18 days ago
2008
IEEE
Apparently computer technology is shifting its focus, with individual users not being the main target any more. The evolution of Web 2.0 technologies is promoting the development ...
139
click to vote
IJCV
2006
15 years 6 months ago
2006
In this paper, we suggest a variational model for optic flow computation based on non-linearised and higher order constancy assumptions. Besides the common grey value constancy ass...
176
click to vote
CLUSTER
2004
IEEE
15 years 10 months ago
2004
IEEE
Single system image(SSI) systems have been the mainstay of high-performance computing for many years. SSI requires the integration and aggregation of all types of resources in a c...