default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 78
Volume 78, Number 1, 2007
- Robert Clarisó, Jordi Cortadella:
Verification of Concurrent Systems with Parametric Delays Using Octahedra. 1-33 - Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten:
An Algebra of Pareto Points. 35-74 - Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia, Alexandre Yakovlev:
Automating Synthesis of Asynchronous Communication Mechanisms. 75-100 - Mark B. Josephs, Hemangee K. Kapoor:
Controllable Delay-Insensitive Processes. 101-130 - Dumitru Potop-Butucaru, Benoît Caillaud:
Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. 131-159 - Walter Vogler, Ben Kangsah:
Improved Decomposition of Signal Transition Graphs. 161-197
Volume 78, Number 2, 2007
- Lukasz Bolikowski, Anna Gambin:
New Metrics for Phylogenies. 199-216 - Olivia Breysse, Michel De Glas:
A New Approach to the Concepts of Boundary and Contact: Toward an Alternative to Mereotopology. 217-238 - Yu-Chen Hu:
Predictive Grayscale Image Coding Scheme Using VQ and BTC. 239-255 - Yu-Chen Hu, Chia-Chen Lin, Kang-Liang Chi:
Block Prediction Vector Quantization for Grayscale Image Compression. 257-270 - Van-Nam Huynh, Yoshiteru Nakamori, Tetsuya Murai:
An Algebraic Foundation for Linguistic Reasoning. 271-294 - Ewa Palka:
An Infinitary Sequent System for the Equational Theory of *-continuous Action Lattices. 295-309
Volume 78, Number 3, 2007
- Rudolf Freund, Fritz Tafill:
Cellular Automata and Parallel Array Systems. 311-327 - Henryk Fuks:
Remarks on the Critical Behavior of Second Order Additive Invariants in Elementary Cellular Automata. 329-341 - Andreas Klein, Martin Kutrib
:
Cellular Devices and Unary Languages. 343-368 - Pradipta Maji, Parimal Pal Chaudhuri:
RBFFCA: A Hybrid Pattern Classifier Using Radial Basis Function and Fuzzy Cellular Automata. 369-396 - Hidenosuke Nishio, Maurice Margenstern, Friedrich von Haeseler:
On Algebraic Structure of Neighborhoods of Cellular AutomataHorse Power Problem. 397-416 - Marcus Pivato:
Spectral Domain Boundaries in Cellular Automata. 417-447
Volume 78, Number 4, 2007
- Liying Jiang, Jitender S. Deogun:
SPICE: A New Framework for Data Mining based on Probability Logic and Formal Concept Analysis. 467-485 - Ugo Galassi, Marco Botta, Attilio Giordana:
Hierarchical Hidden Markov Models for User/Process Profile Learning. 487-505 - Seunghyun Im:
Privacy Aware Data Management and Chase. 507-524 - Minkoo Seo, Sanghyun Park, Jung-Im Won:
Towards Efficient Searching on the Secondary Structure of Protein Sequences. 525-542 - Marie Agier, Jean-Marc Petit, Einoshin Suzuki:
Unifying Framework for Rule Semantics: Application to Gene Expression Data. 543-559 - Shusaku Tsumoto, Shoji Hirano:
Visualization of Differences between Rules' Syntactic and Semantic Similarities using Multidimensional Scaling. 561-573 - Ansaf Salleb-Aouissi, Christel Vrain:
A Contribution to the Use of Decision Diagrams for Loading and Mining Transaction Databases. 575-594 - Xintao Wu, Yongge Wang, Songtao Guo, Yuliang Zheng:
Privacy Preserving Database Generation for Database Application Testing. 595-612 - Cynthia Xin Zhang, Zbigniew W. Ras:
Sound Isolation by Harmonic Peak Partition For Music Instrument Recognition. 613-628
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-16 23:39 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
