1347 search results - page 104 / 270 » On the Structure of the Minimum Time Function |
174
click to vote
ASPDAC
2009
ACM
16 years 2 days ago
2009
ACM
—Reversible logic studies have promising potential on energy lossless circuit design, quantum computation, nanotechnology, etc. Reversible logic features a one-to-one input outpu...
130
click to vote
IFL
2005
Springer
15 years 11 months ago
2005
Springer
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
158
click to vote
CVBIA
2005
Springer
15 years 11 months ago
2005
Springer
Most variational active contour models are designed to find the “desirable” local minima of data-dependent energy functionals with the hope of avoiding undesirable configurat...
166
Voted
CPM
2010
Springer
15 years 10 months ago
2010
Springer
The field of compressed data structures seeks to achieve fast search time, but using a compressed representation, ideally requiring less space than that occupied by the original i...
151
click to vote
ICCS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. BSML is a library for parallel programming with the functional language Objective Caml. It is based on an extension of the λcalculus by parallel operations on a parallel...