3481 search results - page 382 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
141
Voted
ESWS
2005
Springer
15 years 10 months ago
2005
Springer
There is an ongoing discussion whether reasoning in the Semantic Web should be monotonic or not. It seems however that the problem concerns not only the reasoning over knowledge bu...
137
click to vote
EUROPAR
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes a novel approach to performance analysis for parallel and distributed systems that is based on soft computing. We introduce the concept of performance score re...
146
click to vote
IJCAI
2001
15 years 6 months ago
2001
We present a dynamic programming approach for the solution of first-order Markov decisions processes. This technique uses an MDP whose dynamics is represented in a variant of the ...
121
click to vote
GPEM
2006
15 years 4 months ago
2006
This paper presents a Genetic Programming (GP) approach to the design of Mathematical Morphology (MM) algorithms for binary images. The algorithms are constructed using logic opera...
174
click to vote
ATVA
2007
Springer
15 years 11 months ago
2007
Springer
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...