1763 search results - page 60 / 353 » A Formalization of Polytime Functions |
ICSOC
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In inter-enterprise business service collaborations management of nonfunctional properties has become a fundamental issue, as business management and computing infrastruc...
IFL
2003
Springer
15 years 3 months ago
2003
Springer
The presence of non-determinism in the parallel-functional language Eden creates some problems. Several non-determinism analyses have been developed to determine when an Eden expre...
ECML
2000
Springer
15 years 2 months ago
2000
Springer
In the present paper we propose a consistent way to integrate syntactical least general generalizations (lgg's) with semantic evaluation of the hypotheses. For this purpose we...
JUCS
2006
14 years 9 months ago
2006
: Functional-logic programming amalgamates some of the main features of both functional and logic styles into a single paradigm. Nevertheless, negation is a widely investigated fea...
ER
2004
Springer
15 years 3 months ago
2004
Springer
This paper uses a knowledge-based approach to querying heterogeneous spatial databases based on an ontology and conceptual and attribute similarities. The ontology, which may be in...