8780 search results - page 335 / 1756 » On the Feasibility of Consistent Computations |
205
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
We describe the integration of permutation group algorithms with proof planning. We consider eight basic questions arising in computational permutation group theory, for which our ...
200
click to vote
SAC
2009
ACM
16 years 2 months ago
2009
ACM
Semantic service discovery architectures that operate in mobile environments must cope with the significant challenges of finding relevant services rapidly, while facing constrain...
207
click to vote
IWPEC
2009
Springer
16 years 2 months ago
2009
Springer
We study the parameterized complexity of the following fundamental geometric problems with respect to the dimension d: i) Given n points in Rd, compute their minimum enclosing cyl...
159
click to vote
ICPR
2008
IEEE
16 years 2 months ago
2008
IEEE
Material classification of object surfaces from captured image data is an essential problem in computer vision. The present paper proposes a method for stably classifying the mate...
178
click to vote
ICPR
2008
IEEE
16 years 2 months ago
2008
IEEE
For many computer vision problems, it is very important to produce the groundtruth data. Manual data labeling is labor-intensive and prone to the human errors, whereas fully autom...