3384 search results - page 15 / 677 » More Testable Properties |
APPROX
2009
Springer
14 years 3 months ago
2009
Springer
Motivated by questions in property testing, we search for linear error-correcting codes that have the “single local orbit” property: i.e., they are specified by a single loca...
CORR
2004
Springer
13 years 8 months ago
2004
Springer
The conventional definition of a topological metric over a space specifies properties that must be obeyed by any measure of "how separated" two points in that space are....
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
– Biped walking is one of the most graceful movements observed in humans. Today’s humanoid robots, despite their undeniably impressive performance, are still a long way from th...
EUROPAR
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Program transformations are one of the most valuable compiler techniques to improve data locality. However, restructuring compilers have a hard time coping with data depe...
ACCV
2007
Springer
14 years 2 months ago
2007
Springer
Computational photography combines plentiful computing, digital sensors, modern optics, actuators, and smart lights to escape the limitations of traditional cameras, enables novel ...