1860 search results - page 19 / 372 » tools 2009 |
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...
ICDAR
2009
IEEE
13 years 7 months ago
2009
IEEE
Annotating the regions, text lines and characters of document images is an important, but tedious and expensive task. A ground-truthing tool may largely alleviate the human burden...
IFIP
2009
Springer
13 years 7 months ago
2009
Springer
We present a platform that allows a protocol researcher to specify the sequence of games from an initial protocol to a protocol where the security property under consideration can ...
CHI
2009
ACM
14 years 10 months ago
2009
ACM
As user-created content increasingly becomes an ever more prominent element of modern game design, tools have been developed to aide in the creative process for several forms of d...
CHI
2009
ACM
14 years 10 months ago
2009
ACM
In this work-in-progress report we present the results of a preliminary analysis of a set of fieldwork studies conducted in collaboration with a firefighter school and a firefight...