1018 search results - page 2 / 204 » Property Testing in Computational Geometry |
ITS
2010
Springer
13 years 9 months ago
2010
Springer
Mily’s World is a learning environment for coordinate geometry that has game-like properties, that is, elements of games that are engaging such as cover story, graphical represen...
ITS
2010
Springer
13 years 2 months ago
2010
Springer
Mily's World is a learning environment for coordinate geometry that has game-like properties, that is, elements of games that are engaging such as cover story, graphical repre...
DAC
1999
ACM
14 years 5 months ago
1999
ACM
STACS
2005
Springer
13 years 10 months ago
2005
Springer
In property testing, we are given oracle access to a function f, and we wish to test if the function satisfies a given property P, or it is ε-far from having that property. In a...
DAC
2002
ACM
14 years 5 months ago
2002
ACM
This paper describes the verification of two versions of a bridge between two on-chip buses. The verification was performed just as the Infineon Technologies Design Centre in Bris...