3400 search results - page 34 / 680 » tools 2008 |
COLING
2000
13 years 10 months ago
2000
The Computing Research laboratory (CRL) is developing a machine translation toolkit that allows rapid deployment of translation capabilities. This toolkit has been used to develop...
CII
2006
13 years 8 months ago
2006
The aim of this paper is to propose and apply a verification and validation approach to Enterprise Modeling that enables the user to improve the relevance and correctness, the sui...
IJCV
2008
13 years 8 months ago
2008
We seek to build a large collection of images with ground truth labels to be used for object detection and recognition research. Such data is useful for supervised learning and qu...
DA
2007
13 years 8 months ago
2007
For bidders in standard sealed bid auctions, I believe that decision theory dominates game theory. Even in the design of auctions, decision theory competes well with game theory. ...
ENTCS
2008
13 years 8 months ago
2008
We describe the design and the present state of the verification tool Augur 2 which is currently being developed. It is based on Augur 1, a tool which can analyze graph transforma...