1057 search results - page 127 / 212 » Testing from Formal Specifications, a Generic Approach |
ICMAS
2000
13 years 9 months ago
2000
We present an auction-based approach to manufacturing control. Workpieces auction off their current task, while machines bid for tasks. When awarding a machine, a workpiece takes ...
IDEAS
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract. We consider the class of applications that manage time series (TS) and propose a data model and a query language that let these applications manipulate TS data sets at a ...
BMCBI
2008
13 years 7 months ago
2008
Background: A key goal of drug discovery is to increase the throughput of small molecule screens without sacrificing screening accuracy. High-throughput screening (HTS) in drug di...
GECCO
2010
Springer
14 years 16 days ago
2010
Springer
Evolutionary methods have been used to repair programs automatically, with promising results. However, the fitness function used to achieve these results was based on a few simpl...
ACCV
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. In this paper, we address the problem of efficient human action detection with only one template. We choose the standard slidingwindow approach to scan the template video...