1187 search results - page 38 / 238 » Graph-Based Procedural Abstraction |
FSTTCS
1993
Springer
15 years 1 months ago
1993
Springer
Abstract. We provide a complete system of transformation rules for semantic unification with respect to theories defined by convergent rewrite systems. We show that this standard u...
HIS
2003
14 years 11 months ago
2003
Abstract. This paper proposes the fitness control procedure for the application of genetic algorithms (GA) in pattern recognition. Instead of using GA to solve a concomitant optim...
TOPNOC
2008
14 years 9 months ago
2008
Abstract. We consider software systems consisting of a single component running one sequential process only. We model such software systems as a special class of transition systems...
73
Voted
CISS
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract –Given a network targeting information transmission, this paper considers the problem of identifying a set of edges or nodes whose transmission is sufficient to determin...
PACT
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Experiments of neural network training procedure parallelization are conducted. Several styles of parallelization are described and compared, estimations of neural networ...