4592 search results - page 120 / 919 » Framework for Studying Substitution |
107
click to vote
IJCIS
2006
14 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...
115
click to vote
CASDMKM
2004
Springer
15 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
15 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
14 years 9 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
14 years 4 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...