2226 search results - page 13 / 446 » Pdk: The System and Its Language |
ESOP
2006
Springer
15 years 3 months ago
2006
Springer
We present and solve a path optimization problem on programs. Given a set of program nodes, called critical nodes, we find a shortest path through the program's control flow g...
ITS
2010
Springer
15 years 1 months ago
2010
Springer
Authoring the domain knowledge of an intelligent tutoring system (ITS) is a well-known problem, and an often-mentioned approach is to use authors who are domain experts. Unfortunat...
134
click to vote
Publication
MetaML is a statically typed functional programming language with special support for program generation. In addition to providing the standard features of contemporary programming...
100
click to vote
HCI
2009
14 years 9 months ago
2009
Sign language (SL) recognition modules in human-computer interaction systems need to be both fast and reliable. In cases where multiple sets of features are extracted from the SL d...
IFIP
2009
Springer
15 years 6 months ago
2009
Springer
Users with several devices need a convenient mechanism to transfer running service sessions from one device to another device. This paper proposes a framework that allows session m...