3424 search results - page 309 / 685 » Automated Testing of Classes |
174
Voted
AROBOTS
2002
15 years 6 months ago
2002
Tractors are the workhorses of the modern farm. By automating these machines, we can increase the productivity, improve safety, and reduce costs for many agricultural operations. ...
199
Voted
MICS
2008
15 years 6 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...
159
click to vote
APPROX
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Combinatorial property testing deals with the following relaxation of decision problems: Given a fixed property and an input x, one wants to decide whether x satisfies th...
174
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: In gene networks, the timing of significant changes in the expression level of each gene may be the most critical information in time course expression profiles. With ...
178
click to vote
ICIP
2001
IEEE
16 years 8 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 ...