Sciweavers

2268 search results - page 109 / 454
» The Essence of Form Abstraction
Sort
View
ISCAS
1999
IEEE
90views Hardware» more  ISCAS 1999»
14 years 15 days ago
Stability of two-dimensional discrete systems
Abstract-- Two-dimensional (2-D) discrete systems with periodic coefficients are considered for stability. These systems are called periodically shift variant (PSV) digital filters...
Tamal Bose, Guo-Fang Xu
ESOP
1999
Springer
14 years 15 days ago
Polytypic Compact Printing and Parsing
ull articles  not 12 page abstracts, and are the normal form of refereed publication. The top conferences in each subeld (like POPL below) typically have the highest impact f...
Patrik Jansson, Johan Jeuring
DIS
1998
Springer
14 years 13 days ago
Discovering Characteristic Patterns from Collections of Classical Japanese Poems
Abstract. Waka is a form of traditional Japanese poetry with a 1300year history. In this paper, we attempt to discover characteristics common to a collection of waka poems. As a fo...
Mayumi Yamasaki, Masayuki Takeda, Tomoko Fukuda, I...
ECAI
1998
Springer
14 years 13 days ago
The Complexity of Model Checking for Propositional Default Logics
Abstract. Default logic is one of the most widely used formalisms to formalize commonsense reasoning. In this paper we analyze the complexity of deciding whether a propositional in...
Paolo Liberatore, Marco Schaerf
SEAL
1998
Springer
14 years 12 days ago
Co-evolution, Determinism and Robustness
Abstract. Robustness has long been recognised as a critical issue for coevolutionary learning. It has been achieved in a number of cases, though usually in domains which involve so...
Alan D. Blair, Elizabeth Sklar, Pablo Funes