7961 search results - page 148 / 1593 » Input-Output Model Programs |
125
click to vote
OWLED
2007
15 years 4 months ago
2007
Abstract. We describe a system in which Contextual Logic Programming is used as a mediator for knowledge modeled by ontologies. Our system provides the components required to behav...
114
click to vote
ICMT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Constraint programming holds many promises for model driven software development (MDSD). Up to now, constraints have only started to appear in MDSD modeling languages, bu...
124
click to vote
CSC
2007
15 years 4 months ago
2007
A visualization framework can be seen as a solution to a specialized data flow problem. Spiegel1 is a visualization framework which uses the Unix pipeline model to execute program...
138
click to vote
NMR
2004
Springer
15 years 8 months ago
2004
Springer
We define the class of head-cycle free nested logic programs, and its proper subclass of acyclic nested programs, generalising similar classes originally defined for disjunctive...
162
click to vote
CSFW
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...