6800 search results - page 1349 / 1360 » Testing with Functions as Specifications |
TASLP
2002
13 years 7 months ago
2002
This paper proposes a versatile perceptual audio coding method that achieves high compression ratios and is capable of low encoding/decoding delay. It accommodates a variety of sou...
PVLDB
2008
13 years 7 months ago
2008
Time series data is common in many settings including scientific and financial applications. In these applications, the amount of data is often very large. We seek to support pred...
SAC
2008
ACM
13 years 7 months ago
2008
ACM
Biological populations are dynamic in both space and time, that is, the population size of a species fluctuates across their habitats over time. There are rarely any static or fix...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
— This paper is motivated by the real world problem of search and rescue by unmanned aerial vehicles (UAVs). We consider the problem of tracking a static target from a bird’sey...
IJBRA
2010
13 years 6 months ago
2010
—Cytochrome b561 (Cyt-b561) proteins play important functions in plants such as anti-toxin defense reactions, growth and development, and prevention of damage to plants from exce...