4117 search results - page 608 / 824 » On the Satisfiability of Complex Constraints |
211
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a novel graph cut based segmentation approach with shape priors. The model incorporates statistical shape prior information with the active contour without edg...
164
click to vote
ICSEA
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we propose to use components for managing the increasing complexity in modern vehicular systems. Compared to other approaches, the distinguishing feature of our work...
188
click to vote
ICTAI
2008
IEEE
16 years 1 months ago
2008
IEEE
A major challenge in building recommender systems is organizing the recommendation space since, the underlying data organization scheme has a significant impact on the overall pe...
179
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
Emerging configurable infrastructures (large-scale overlays, grids, distributed testbeds, and sensor networks among others) comprise diverse sets of computing resources and netwo...
178
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper reports an autonomous cooperative navigation system for robot formations in realistic scenarios. The formation movement control is based on a virtual structure compo...