2374 search results - page 67 / 475 » Automatic Generation of Model Translations |
124
click to vote
EDM
2010
15 years 5 months ago
2010
Intelligent tutoring systems adapt to users' cognitive factors, but typically not to affective or conative factors. Crowd-sourcing may be a way to create materials that engage...
123
click to vote
ICPR
2008
IEEE
16 years 5 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 ...
149
click to vote
ICCAD
1994
IEEE
15 years 8 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 ...
130
click to vote
ISMIS
2000
Springer
15 years 7 months ago
2000
Springer
Indexing file systems is a powerful means of helping users locate documents, software, and other types of data among large repositories. In environments that contain many differen...
143
click to vote
ATVA
2010
Springer
15 years 4 months ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...