1712 search results - page 175 / 343 » Abstract Constraint Data Types |
187
click to vote
CAV
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
175
click to vote
ICC
2008
IEEE
16 years 25 days ago
2008
IEEE
Abstract— This paper is concerned with the end-to-end transmission outage in an OFDM based wireless multi-hop network. The network consists of a source node, a destination node, ...
181
Voted
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 ...
181
click to vote
SARA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This article presents two new algorithms whose purpose is to maintain the Max-RPC domain filtering consistency during search with a minimal memory footprint and implemen...
166
click to vote
NGC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract Understanding potential genetic factors in disease or development of personalised e-Health solutions require scientists to access a multitude of data and compute resources...