394 search results - page 42 / 79 » An Abstract Domain of Uninterpreted Functions |
125
click to vote
FROCOS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
110
click to vote
PLILP
1994
Springer
15 years 4 months ago
1994
Springer
Abstract. We investigate an extension of a lazy functional logic language, which uses term disequations both in programs and in computed answers. The semantic properties of the lan...
88
Voted
EON
2008
15 years 1 months ago
2008
Abstract. The Semantic Web Service Challenge is one of the major initiative dedicated to work on Semantic Web Service (SWS) discovery and selection. It represents an effective mann...
129
Voted
GPEM
2010
14 years 11 months ago
2010
Abstract Self-Modifying Cartesian Genetic Programming (SMCGP) is a general purpose, graph-based, developmental form of Genetic Programming founded on Cartesian Genetic Programming....
98
Voted
ECCV
2006
Springer
16 years 2 months ago
2006
Springer
Abstract. We describe a new theoretical approach to Image Processing and Vision. Expressed in mathemetical terminology, in our formalism image space is a fibre bundle, and the imag...