Sciweavers

306 search results - page 25 / 62
» Constructive algebraic integration theory
Sort
View
HICSS
2005
IEEE
164views Biometrics» more  HICSS 2005»
15 years 5 months ago
Knowledge Creation and Integration: Creative Space and Creative Environments
This paper presents first a review of recent advancements in the theory of knowledge creation, starting with Shinayakana Systems Approach of Sawaragi and Nakamori and The Knowledg...
Andrzej P. Wierzbicki, Yoshiteru Nakamori
STOC
2009
ACM
106views Algorithms» more  STOC 2009»
16 years 12 days ago
An axiomatic approach to algebrization
Non-relativization of complexity issues can be interpreted as giving some evidence that these issues cannot be resolved by "black-box" techniques. In the early 1990'...
Russell Impagliazzo, Valentine Kabanets, Antonina ...
LATA
2009
Springer
15 years 6 months ago
A Kleene Theorem for Forest Languages
This paper proposes an alternative approach to the standard notion of rational (or regular) expression for tree languages. The main difference is that in the new notion we have on...
Lutz Straßburger
ICALP
1998
Springer
15 years 4 months ago
Bridges for Concatenation Hierarchies
In the seventies, several classification schemes for the rational languages were proposed, based on the alternate use of certain operators (union, complementation, product and star...
Jean-Eric Pin
DAC
2003
ACM
15 years 5 months ago
Model order reduction of nonuniform transmission lines using integrated congruence transform
This paper presents a new algorithm based on Integrated Congruence transform for the analysis of both uniform and nonuniform transmission lines. The key advantage of the proposed ...
Emad Gad, Michel S. Nakhla