3066 search results - page 47 / 614 » On Facilitating Automated Evaluation |
WSC
2004
13 years 9 months ago
2004
A critical aspect of semiconductor manufacturing is the design and analysis of material handling and production control polices to optimize fab performance. As wafer sizes have in...
IDEAL
2007
Springer
14 years 1 months ago
2007
Springer
Searching multimedia data in particular audiovisual data is still a challenging task to fulfill. The number of digital video recordings has increased dramatically as recording tec...
ACL
2006
13 years 9 months ago
2006
We have developed an automated Japanese essay scoring system called Jess. The system needs expert writings rather than expert raters to build the evaluation model. By detecting st...
CADE
2005
Springer
14 years 8 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.
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
Embedded Architect is a design automation tool that embodies a static performance evaluation technique to support early, architecture-level design space exploration for component-...