1239 search results - page 135 / 248 » Control Generation for Logic Programs |
147
click to vote
LFP
1992
15 years 6 months ago
1992
The CPS transformation dates back to the early 1970's, where it arose as a technique to represent the control flow of programs in -calculus based programming languages as -te...
155
click to vote
ATAL
2010
Springer
14 years 12 months ago
2010
Springer
The Affine ADD (AADD) is an extension of the Algebraic Decision Diagram (ADD) that compactly represents context-specific, additive and multiplicative structure in functions from a...
142
click to vote
ISDA
2009
IEEE
15 years 11 months ago
2009
IEEE
—Web Services are interfaces that describe a collection of operations that are network-accessible through standardized web protocols. When a required operation is not found, seve...
145
click to vote
ISER
2004
Springer
15 years 10 months ago
2004
Springer
As robots enter the human environment and come in contact with inexperienced users, they need to be able to interact with users in a multi-modal fashion—keyboard and mouse are n...
145
click to vote
IUI
2012
ACM
14 years 15 days ago
2012
ACM
Visual programming languages (VPLs) provide notations for representing both the intermediate and the final results of a knowledge engineering process. Whereas some VPLs particula...