9110 search results - page 107 / 1822 » Formally-Based Design Evaluation |
ICPPW
1999
IEEE
15 years 2 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...
CADE
2005
Springer
15 years 10 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.
SIGIR
2006
ACM
15 years 3 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...
SIGIR
1996
ACM
15 years 2 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:
IJES
2008
14 years 10 months ago
2008
Reconfigurable ALU Array (RAA) architectures--representing a popular class of Coarse-grained Reconfigurable Architectures--are gaining in popularity especially for media applicati...