4722 search results - page 160 / 945 » Encoding Program Executions |
148
click to vote
ICCL
1994
IEEE
15 years 8 months ago
1994
IEEE
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...
159
click to vote
FSS
2008
15 years 4 months ago
2008
In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has s...
183
click to vote
PRL
2007
15 years 4 months ago
2007
This paper introduces a novel method of visual learning based on Genetic Programming, which evolves a population of individuals (image analysis programs) that process attributed v...
121
click to vote
CP
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We propose a general framework for assertion-based debugging of constraint logic programs. Assertions are linguistic constructions which allow expressing properties of pr...
127
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
Services Computing is emerging as a new discipline. The acceptance of web services technology stems from the fact that services enable easy integration and interoperation of enter...