895 search results - page 24 / 179 » Using graphs for some discrete tomography problems |
EJWCN
2010
13 years 2 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
PRL
2010
13 years 2 months ago
2010
As an important technique for data analysis, clustering has been employed in many applications such as image segmentation, document clustering and vector quantization. Divisive cl...
SCALESPACE
2005
Springer
14 years 27 days ago
2005
Springer
In previous work, singular points (or top points) in the scale space representation of generic images have proven valuable for image matching. In this paper, we propose a construct...
FMSD
2007
13 years 7 months ago
2007
We study the cost-optimal reachability problem for weighted timed automata such that positive and negative costs are allowed on edges and locations. By optimality, we mean an infi...
CARS
2004
13 years 8 months ago
2004
In this paper, we present a new point of view for the conception of what a teleoperated robotic device should be for percutaneous intervention with computed tomography guidance. W...