Sciweavers

5622 search results - page 858 / 1125
» Solving architectural modelling problems using knowledge
Sort
View
CVPR
2012
IEEE
13 years 7 months ago
Random walks based multi-image segmentation: Quasiconvexity results and GPU-based solutions
We recast the Cosegmentation problem using Random Walker (RW) segmentation as the core segmentation algorithm, rather than the traditional MRF approach adopted in the literature s...
Maxwell D. Collins, Jia Xu, Leo Grady, Vikas Singh
IROS
2008
IEEE
158views Robotics» more  IROS 2008»
15 years 11 months ago
A model-predictive approach to formation control of omnidirectional mobile robots
— This paper presents a solution to the problem of steering a group of real omnidirectional mobile robots along a given path, while maintaining a desired formation pattern. This ...
Kiattisin Kanjanawanishkul, Andreas Zell
ICCV
2007
IEEE
16 years 6 months ago
An Invariant Large Margin Nearest Neighbour Classifier
The k-nearest neighbour (kNN) rule is a simple and effective method for multi-way classification that is much used in Computer Vision. However, its performance depends heavily on ...
M. Pawan Kumar, Philip H. S. Torr, Andrew Zisserma...
163
Voted
SIGGRAPH
1992
ACM
15 years 9 months ago
Interval analysis for computer graphics
This paper discusses how interval analysis can be used to solve a wide variety of problems in computer graphics. These problems include ray tracing, interference detection, polygo...
John M. Snyder
159
Voted
FMSP
2000
ACM
152views Formal Methods» more  FMSP 2000»
15 years 9 months ago
Fault origin adjudication
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obrad...