5830 search results - page 57 / 1166 » Automatic link generation |
ICWL
2004
Springer
14 years 3 months ago
2004
Springer
Nowadays, people tend to learn from the Web because it is convenient, and rich of free information. The main means of learning on the Web is by submitting a query to a search engi...
TACAS
2000
Springer
14 years 1 months ago
2000
Springer
Conformance testing is still the main industrial validation technique for telecommunication protocols. The automatic construction of test cases based on the model approach is hinde...
ICDAR
2007
IEEE
13 years 11 months ago
2007
IEEE
Performance evaluation for document image analysis and understanding is a recurring problem. Many groundtruthed document image databases are now used to evaluate general algorithm...
UAI
2007
13 years 11 months ago
2007
This paper introduces decision-theoretic planning techniques into automatic music generation. Markov decision processes (MDPs) are a mathematical model of planning under uncertain...
IFIP12
2009
13 years 7 months ago
2009
In this paper the tool TELIOS is presented, for the automatic generation of a hardware machine, corresponding to a given logic program. The machine is implemented using an FPGA, wh...