1414 search results - page 158 / 283 » Automated Metamorphic Testing |
MICS
2008
13 years 8 months ago
2008
Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical Library (MML), i...
LICS
2010
IEEE
13 years 7 months ago
2010
IEEE
We define tree automata with global constraints (TAGC), generalizing the well-known class of tree automata with global equality and disequality constraints [14] (TAGED). TAGC can...
ICIP
2001
IEEE
14 years 10 months ago
2001
IEEE
Marine biologists desire an automated system for observing gelatinous zooplankton. This study represents the first attempt at real-time robotic tracking of a gelatinous animal in ...
ICPR
2004
IEEE
14 years 10 months ago
2004
IEEE
The automated detection and tracking of humans in computer vision necessitates improved modeling of the human skin appearance. In this paper we propose a Bayesian network approach...
DAC
2001
ACM
14 years 10 months ago
2001
ACM
We propose a new BDD-based method for decomposition of multi-output incompletely specified logic functions into netlists of two-input logic gates. The algorithm uses the internal ...