10870 search results - page 2010 / 2174 » Model Checking Programs |
EICS
2009
ACM
15 years 6 months ago
2009
ACM
As user interfaces become more and more complex and feature laden, usability tends to decrease. One possibility to counter this effect are intelligent support mechanisms. In this ...
SAC
2009
ACM
15 years 6 months ago
2009
ACM
Component systems have become a wide-spread technology and found their place in several application domains. Each component system has its specifics and particularities that re...
115
Voted
GI
2009
Springer
15 years 6 months ago
2009
Springer
: Understanding biological evolution prompts for a detailed understanding of the realized phenotype. Biochemical and gene regulatory dynamics are a cornerstone for the physiology o...
207
Voted
ICIAR
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. With the adoption of tablet-based data entry devices, there is considerable interest in methods for converting hand-drawn sketches of flow charts, graphs and block diagr...
123
click to vote
IPMI
2009
Springer
15 years 6 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 ...