7961 search results - page 124 / 1593 » Input-Output Model Programs |
125
click to vote
WSC
2008
15 years 5 months ago
2008
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...
133
click to vote
FECS
2006
15 years 4 months ago
2006
Game programming is interesting but tough. It could be counted as a sophisticated software development in an undergraduate curriculum because it deals with a wide range of knowled...
123
click to vote
AAAI
1990
15 years 4 months ago
1990
An equational approach to the synthesis of functional and logic programs is taken. Typically, a target program contains equations that are only true in the standard model of the g...
146
click to vote
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
112
click to vote
AIIA
2003
Springer
15 years 8 months ago
2003
Springer
This paper presents the user modeling and recommendation techniques applied in Personal Program Guide (PPG), a system generating personalized Electronic Program Guides for digital ...