9124 search results - page 116 / 1825 » Requirements-Based Design Evaluation |
112
Voted
ASPDAC
2007
ACM
15 years 7 months ago
2007
ACM
Deep submicron effects drive the complication in designing chips, as well as in package designs and communications between package and board. As a result, the iterative interface d...
112
Voted
ICPPW
1999
IEEE
15 years 8 months ago
1999
IEEE
At current on-line shops, buyers almost independently enjoy shopping without anyone's help. However, there are many cases where they cooperate with people such as personal ad...
110
Voted
CADE
2005
Springer
16 years 3 months ago
2005
Springer
We present sKizzo, a system designed to evaluate and certify Quantified Boolean Formulas (QBFs) by means of propositional skolemization and symbolic reasoning.
121
Voted
SIGIR
2006
ACM
15 years 9 months ago
2006
ACM
Early speech retrieval experiments focused on news broadcasts, for which adequate Automatic Speech Recognition (ASR) accuracy could be obtained. Like newspapers, news broadcasts a...
129
Voted
SIGIR
1996
ACM
15 years 7 months ago
1996
ACM
We report on the design and evaluation of a visualization tool for Information Retrieval (IR) systems that aims to help the end user in the following respects: