4690 search results - page 63 / 938 » An operational semantics for Scheme |
ICLP
2009
Springer
14 years 10 months ago
2009
Springer
If logic programs are interpreted over a three-valued logic, then often Kleene's strong three-valued logic with complete equivalence and Fitting's associated immediate co...
ECOWS
2006
Springer
14 years 1 months ago
2006
Springer
Semantic Web Services are generally considered as the evolution of conventional Web Services. Semantic information included in the service descriptions enables the development of ...
EMO
2006
Springer
14 years 1 months ago
2006
Springer
In this paper, we propose a new conceptual method for the design, investigation, and evaluation of multi-objective variation operators for evolutionary multi-objective algorithms. ...
AAAI
2008
14 years 13 days ago
2008
In this paper, we propose a new approach for iterated revision in possibilistic logic by applying a one-step revision operator. We first argue that the set of KM postulates for re...
ICIP
2004
IEEE
14 years 11 months ago
2004
IEEE
A new morphological gradient operator for colour images is introduced that can be viewed as a direct extension of the well known morphological gradient. In this approach, each pix...