367 search results - page 44 / 74 » Adapting functional programs to higher order logic |
113
Voted
IPMI
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we propose a novel non-rigid volume registration based on discrete labeling and linear programming. The proposed framework reformulates registration as a minimal path...
143
click to vote
WAC
2004
Springer
15 years 6 months ago
2004
Springer
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...
128
Voted
ICFP
2010
ACM
15 years 22 days ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
140
click to vote
TLDI
2010
ACM
15 years 23 days ago
2010
ACM
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
116
Voted
TCOM
2008
15 years 14 days ago
2008
Abstract--Incremental-redundancy hybrid automatic repeatrequest (IR-HARQ) schemes are proposed in several wireless standards for increased throughput-efficiency and greater reliabi...