1036 search results - page 75 / 208 » Evaluating Mixed-Initiative Systems: An Experimental Approac... |
FMCAD
2008
Springer
15 years 23 days ago
2008
Springer
The quality of formal specifications and the circuits they are written for can be evaluated through checks such as vacuity and coverage. Both checks involve mutations to the specif...
ICRA
2010
IEEE
14 years 9 months ago
2010
IEEE
In this paper, a strategy to attenuate tremor based on co-contraction of antagonist muscles using Functional Electrical Stimulation (FES) is fully presented. Both methods to track ...
PVLDB
2008
14 years 10 months ago
2008
Many stream-processing systems enforce an order on data streams during query evaluation to help unblock blocking operators and purge state from stateful operators. Such in-order p...
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
We present an application of a multi-agent cooperative search approach to the problem of optimizing gas pipeline operations, i.e. finding control parameters for a gas transmission...
KBSE
2008
IEEE
15 years 5 months ago
2008
IEEE
We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach ...