9626 search results - page 1664 / 1926 » Invariant Based Programming |
204
click to vote
FPL
2009
Springer
15 years 11 months ago
2009
Springer
Reconfigurable computing systems remain difficult to use and program. One way to increase design productivity for these systems is through reuse of previously developed and veri...
187
click to vote
IPMI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this paper we propose a novel approach to define task-driven regularization constraints in deformable image registration using learned deformation priors. Our method ...
188
click to vote
SLE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Model-Driven Software Development is based on standardised models that are refined, transformed and eventually translated into executable code using code generators. How...
190
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
Massive amounts of raw data are currently being generated by biologists while sequencing organisms. Outside of the largest, high-pro le projects such as the Human Genome Project, ...
183
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
We present and implement an infrastructure for automating the negotiation of business contracts. Underlying our system is a declarative language for both (1) fully-specified, exe...