1729 search results - page 119 / 346 » Generic Haskell: Applications |
171
Voted
ICAI
2003
15 years 6 months ago
2003
Advances in sensor and wireless technologies will enable thousands, or even millions of small but smart sensors to be deployed for a wide range of monitoring applications. The sen...
146
click to vote
ENTCS
2006
15 years 5 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
376
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
re a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in parare a good abstraction for signal processing and dataflow co...
140
click to vote
CVPR
2005
IEEE
16 years 7 months ago
2005
IEEE
We develop a framework for learning generic, expressive image priors that capture the statistics of natural scenes and can be used for a variety of machine vision tasks. The appro...
137
click to vote
ICAC
2008
IEEE
15 years 11 months ago
2008
IEEE
The execution of job flow applications is a reality today in academic and industrial domains. In this paper, we propose an approach to adding self-healing behavior to the executio...