3322 search results - page 62 / 665 » Automatic Human Model Generation |
104
click to vote
AIIDE
2008
15 years 7 days ago
2008
In this paper we describe a system called ViGLS (Visualization of Game Log Summaries) that generates summaries of gameplay sessions from game logs. ViGLS automatically produces vi...
174
click to vote
PROPOR
2012
Springer
13 years 5 months ago
2012
Springer
Fill-in-the-blank questions are one of the main assessment devices in REAP.PT tutoring system. The problem of automatically generating the stems, i.e. the sentences that serve as b...
ISCC
2007
IEEE
2007
IEEE
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation
15 years 4 months ago
Spi2Java is a tool that enables semi-automatic generation of cryptographic protocol implementations, starting from verified formal models. This paper shows how the last version o...
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
Sign language is used for communicating to people with hearing difficulties. Recogntion of a sign language image sequence is challenging because of the variety of hand shapes and ...
ICCAD
1994
IEEE
15 years 2 months ago
1994
IEEE
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...