11168 search results - page 1522 / 2234 » Abstract State Processes |
166
click to vote
CONTEXT
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Delimited continuations are the meanings of delimited evaluation contexts in programming languages. We show they offer a uniform view of many scenarios that arise in sys...
151
click to vote
DAGM
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We consider the problem of simultaneously registering several images to a 3D model. We propose a global approach based on mutual information that extends previous methods...
124
click to vote
DEXA
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. K-anonymisation is an approach to protecting private information contained within a dataset. Many k-anonymisation methods have been proposed recently and one class of suc...
171
click to vote
ECAL
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. A coarse-coding regulatory model that facilitates neural heterogeneity through a morphogenetic process is presented. The model demonstrates cellular and tissue extensibil...
170
click to vote
ECSA
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. In this paper, we report on the development of a methodology for the evolution of software towards new architectures. In our approach, we represent source code as graphs....