1620 search results - page 103 / 324 » Testing Polymorphic Properties |
165
click to vote
EJC
2007
15 years 4 months ago
2007
We construct algorithms for deciding essentially any minor-closed parameter, with explicit time bounds. This result strengthens previous results by Robertson and Seymour [1,2], Fr...
130
click to vote
TVCG
2008
15 years 4 months ago
2008
We present a system for constructing 3D models of real-world objects with optically challenging surfaces. The system utilizes a new range imaging concept called multipeak range ima...
172
click to vote
SIES
2007
IEEE
15 years 11 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
130
click to vote
IJCNN
2006
IEEE
15 years 11 months ago
2006
IEEE
— Higher order networks allow modelling of correlates and geometrically invariant properties. Current techniques for their development either require domain knowledge, or are con...
134
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...