1763 search results - page 149 / 353 » A Formalization of Polytime Functions |
ICIP
2005
IEEE
15 years 11 months ago
2005
IEEE
We propose a very efficient numerical algorithm for minimizing certain curvature dependent functionals that appear in a variety of well known variational models of image processin...
DAC
2006
ACM
15 years 11 months ago
2006
ACM
A simple protocol for latency-insensitive design is presented. The main features of the protocol are the efficient implementation of elastic communication channels and the automat...
CALCO
2009
Springer
15 years 4 months ago
2009
Springer
The microcosm principle, advocated by Baez and Dolan and formalized for Lawvere theories lately by three of the authors, has been applied to coalgebras in order to describe composi...
101
click to vote
COSIT
2009
Springer
15 years 4 months ago
2009
Springer
We present an approach to assist the smart environment design process by means of automated validation of work-in-progress designs. The approach facilitates validation of not only ...
ICANN
2009
Springer
15 years 4 months ago
2009
Springer
The best recent supervised sequence learning methods use gradient descent to train networks of miniature nets called memory cells. The most popular cell structure seems somewhat ar...