Sciweavers

2192 search results - page 101 / 439
» Embedded function composition
Sort
View
ICFP
2009
ACM
16 years 1 months ago
Purely functional lazy non-deterministic programming
Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-...
Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan
103
Voted
IANDC
2010
91views more  IANDC 2010»
14 years 11 months ago
Functional interpretations of linear and intuitionistic logic
This article shows how different functional interpretations can be combined into what we term hybrid functional interpretations. These hybrid interpretations work on the setting o...
Paulo Oliva
136
Voted
ICIP
2010
IEEE
14 years 10 months ago
Tensor-based image diffusions derived from generalizations of the Total Variation and Beltrami Functionals
We introduce a novel functional for vector-valued images that generalizes several variational methods, such as the Total Variation and Beltrami Functionals. This functional is bas...
Anastasios Roussos, Petros Maragos
92
Voted
CORR
2011
Springer
180views Education» more  CORR 2011»
14 years 7 months ago
A Formalization of Polytime Functions
Abstract. We present a deep embedding of Bellantoni and Cook’s syntactic characterization of polytime functions. We prove formally that it is correct and complete with respect to...
Sylvain Heraud, David Nowak
ISSS
2002
IEEE
136views Hardware» more  ISSS 2002»
15 years 5 months ago
Combined Functional Partitioning and Communication Speed Selection for Networked Voltage-Scalable Processors
This paper presents a new technique for global energy optimization through coordinated functional partitioning and speed selection for embedded processors interconnected by a high...
Nader Bagherzadeh, Pai H. Chou, Jinfeng Liu