4211 search results - page 755 / 843 » Types as Abstract Interpretations |
127
Voted
CP
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Branch-and-Check, introduced ten years ago, is a generalization of logic-based Benders decomposition. The key extension is to solve the Benders sub-problems at each feasi...
137
Voted
EUROMED
2010
15 years 2 months ago
2010
Abstract. CARARE is a best practice network funded by the European Commission’s ICT Policy Support Programme. The network brings together heritage agencies, organisations, archae...
130
Voted
EWC
2010
15 years 2 months ago
2010
Abstract This paper introduces a three-dimensional mesh generation algorithm for domains whose boundaries are curved surfaces, possibly with sharp features. The algorithm combines ...
120
Voted
FGCS
2010
15 years 2 months ago
2010
searchers are now invited to submit abstracts on one or more of the following topics: • Control plane mechanisms, e.g. circuit reservation • Network protocols research, e.g. DC...
132
Voted
GI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract: Large biomedical projects often include workflows running across institutional borders. In these workflows, data describing biomedical entities, such as patients, bio-m...