4592 search results - page 120 / 919 » Framework for Studying Substitution |
IJCIS
2006
13 years 10 months ago
2006
Systems and infrastructures are currently being developed to support Web services and Web processes. One prominent solution to manage and coordinate Web services is the use of wor...
CASDMKM
2004
Springer
14 years 3 months ago
2004
Springer
In this study, a novel hybrid AI system framework is developed by means of a systematic integration of artificial neural networks (ANN) and rulebased expert system (RES) with web-b...
SIBGRAPI
2003
IEEE
14 years 3 months ago
2003
IEEE
In this paper we study advancing front methods for surface reconstruction. We propose a topological framework based on handlebody theory to implement such methods in a simple and r...
ACTA
2005
13 years 10 months ago
2005
A general framework for typing graph rewriting systems is presented: the idea is to statically derive a type graph from a given graph. In contrast to the original graph, the type g...
CORR
2011
Springer
13 years 5 months ago
2011
Springer
We study the complexity of rewrite systems shown terminating via the dependency pair framework using processors for reduction pairs, dependency graphs, or the subterm criterion. T...