3527 search results - page 325 / 706 » Test Automation in Practice |
169
Voted
DLOG
2011
14 years 8 months ago
2011
Abstract. The pressing need for scalable query answering has motivated the development of many incomplete ontology-based reasoners. Improving the completeness of such systems witho...
175
Voted
LPAR
2012
Springer
14 years 18 days ago
2012
Springer
E-matching is the most commonly used technique to handle quantifiers in SMT solvers. It works by identifying characteristic subexpressions of quantified formulae, named triggers,...
126
click to vote
CHI
2002
ACM
16 years 5 months ago
2002
ACM
We introduce the Look Ma No Keyboard user interface, an ergonomic and intuitive method for controlling music sequencing software from a piano controller by adding a momentary foot...
148
Voted
FSE
2009
Springer
15 years 11 months ago
2009
Springer
Matsui’s one-dimensional Alg. 2 can be used for recovering bits of the last round key of a block cipher. In this paper a truly multidimensional extension of Alg. 2 based on estab...
134
click to vote
AIME
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The growing availability of measurement devices in the operating room enables the collection of a huge amount of data about the state of the patient and the doctors’ pr...