1738 search results - page 251 / 348 » Local Consistency and SAT-Solvers |
171
Voted
ACIVS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present and evaluate in this paper a multi-agent approach for range image segmentation. The approach consists in using autonomous agents for the segmentation of a rang...
161
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
Aspect-oriented programming languages select join points using pointcut constructs that depend on the syntactic structure of the base program. As the base program evolves, the poi...
200
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
Recently dual-port SDRAM (DPSDRAM) architecture tailored for dual-processor based mobile embedded systems has been announced where a single memory chip plays the role of the local...
175
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
A novel feature extraction method, namely monogenic binary pattern (MBP), is proposed in this paper based on the theory of monogenic signal analysis, and the histogram of MBP (HMB...
164
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We present a class of relaxed memory models, defined in Coq, parameterised by the chosen permitted local reorderings of reads and writes, and the visibility of inter- and intra-pr...