1722 search results - page 179 / 345 » Generating Tests from Counterexamples |
IQ
2007
13 years 10 months ago
2007
: Motivated by the problem of out-of-shelf (OOS) in retail industry and the emergence of RFID (Radio Frequency Identification) technology, this paper investigates the impact that t...
ISWC
1998
IEEE
14 years 1 months ago
1998
IEEE
system to date has served all of the needs of wearable computing--light weight, minimum effort, high power generation, convenient power delivery, and good power regulation. We beli...
BMCBI
2008
13 years 9 months ago
2008
Background: In real-time quantitative PCR studies using absolute plasmid DNA standards, a calibration curve is developed to estimate an unknown DNA concentration. However, potenti...
BMCBI
2010
13 years 9 months ago
2010
Background: Biological knowledge is represented in scientific literature that often describes the function of genes/ proteins (bioentities) in terms of their interactions (biointe...
CANDC
2009
ACM
14 years 3 months ago
2009
ACM
Subliminal Wiretapping is a subtly interactive artwork that utilizes random number generation modified through mindmatter effects to supply a continuous stream of words. Frequent,...