4074 search results - page 389 / 815 » Abstract Graph Transformation |
209
click to vote
CADE
1992
Springer
15 years 10 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...
182
click to vote
AI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a performance analysis of three linear dimensionality reduction techniques: Fisher's discriminant analysis (FDA), and two methods introduced recently base...
149
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Accumulation techniques were invented to transform functional programs, which intensively use append functions (like inefficient list reversal), into more efficient progr...
135
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We propose a meta-meta framework architecture for supporting the behavior based integration of two business processes. The meta-meta level provides basic integration oper...
188
click to vote
CIARP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. A theoretical analysis for comparing two linear dimensionality reduction (LDR) techniques, namely Fisher's discriminant (FD) and Loog-Duin (LD) dimensionality reduci...