9110 search results - page 190 / 1822 » Formally-Based Design Evaluation |
135
click to vote
DARE
2000
15 years 7 months ago
2000
BUILD-IT is a planning tool based on computer vision technology, supporting complex planning and composition tasks. A group of people, seated around a table, interact with objects...
164
click to vote
PDPTA
2000
15 years 7 months ago
2000
This paper deals with multiprocessor systems required to provide both high performance and good figures of dependability attributes. Fault tolerance is pursued through a proper co...
145
click to vote
WSC
2000
15 years 7 months ago
2000
Current research in the area of manufacturing planning and control has moved away from traditional centralized solutions towards distributed architectures that range from hierarch...
163
click to vote
NAACL
1994
15 years 7 months ago
1994
We present results ofexperiments designed to assess the usefulness of a new technique for the evaluation of translation quality, comparing human rankings with automatic measures. ...
155
click to vote
IJCAI
1989
15 years 7 months ago
1989
This paper presents an evaluation of two orthogonal schemes for improving the efficiency of solving constraint satisfaction problems (CSPs). The first scheme involves a class of p...