623 search results - page 4 / 125 » Relational Parametricity for Control Considered as a Computa... |
ICPR
2006
IEEE
14 years 9 months ago
2006
IEEE
When objects are recognized by using multiple cameras, recognition rates strongly depend on the camera arrangement. In this paper, we propose a new method for planning a multiple ...
PG
2007
IEEE
14 years 2 months ago
2007
IEEE
Developable surfaces have many desired properties in manufacturing process. Since most existing CAD systems utilize parametric surfaces as the design primitive, there is a great d...
CIE
2008
Springer
13 years 10 months ago
2008
Springer
Consider the problem of calculating the fractal dimension of a set X consisting of all infinite sequences S over a finite alphabet that satisfy some given condition P on the asympt...
CVPR
2010
IEEE
13 years 6 months ago
2010
IEEE
Many different automatic color correction approaches have been proposed by different research communities in the past decade. However, these approaches are seldom compared, so the...
FCT
2009
Springer
14 years 13 days ago
2009
Springer
Given a set P of natural numbers, we consider infinite games where the winning condition is a regular -language parametrized by P. In this context, an -word, representing a play, h...