default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 135
Volume 135, Numbers 1-2, 2014
- Paolo Dulio
, Andrea Frosini, Grzegorz Rozenberg:
Preface. v-xxi - Linda Plantagie, Kees Joost Batenburg:
Approximating Algebraic Tomography Methods by Filtered Backprojection: A Local Filter Approach. 1-19 - Folkert Bleichrodt, Jan De Beenhouwer, Jan Sijbers, Kees Joost Batenburg:
Aligning Projection Images from Binary Volumes. 21-42 - Stefano Brocchi:
A New Approach for the Reconstruction of Object-Based Images in Discrete Tomography. 43-57 - Srecko Brlek, Nadia Lafrenière:
Reconstructing Words from a σ-palindromic Language. 59-72 - Andreea Denitiu, Stefania Petra, Claudius Schnörr, Christoph Schnörr:
Phase Transitions and Cosparse Tomographic Recovery of Compound Solid Bodies from Few Projections. 73-102 - Norbert Hantos, Péter Balázs:
Random Generation of hv-Convex Polyominoes with Given Horizontal Projection. 103-115 - Alexandre Goupy, Silvia M. C. Pagani:
Probabilistic Reconstruction of hv-convex Polyominoes from Noisy Projection Data. 117-134 - Rodolfo A. Fiorini:
How Random is Your Tomographic Noise? A Number Theoretic Transform (NTT) Approach. 135-170 - Roberto Fedele, Antonia Ciani, Fabrizio Fiori:
X-ray Microtomography under Loading and 3D-Volume Digital Image Correlation. A Review. 171-197 - Marco Compagnoni, Roberto Notari:
TDOA-based Localization in Two Dimensions: the Bifurcation Curve. 199-210
Volume 135, Number 3, 2014
- Mohsen Ghasemi:
An Algorithmic-type Classification of Tetravalent One-regular Graphs Using Computer Algebra Tools. 211-228 - Armen Kostanyan, Paruyr Khnkoyan:
Computations in Boolean Algebra with Approximation. 229-241 - Panpan Niu, Xiangyang Wang, Hong-Ying Yang, Pei Wang, Ai-Long Wang:
A Robust Digital Watermarking Based on Local Complex Angular Radial Transform. 243-268 - Haiyu Pan, Min Zhang, Hengyang Wu, Yixiang Chen:
Quantitative Analysis of Lattice-valued Kripke Structures. 269-293 - Pavel Surynek, Petra Surynková, Milos Chromý:
The Impact of a Bi-connected Graph Decomposition on Solving Cooperative Path-finding Problems. 295-308 - Xiangyang Wang, Yong-Wei Li, Panpan Niu, Hong-Ying Yang, Dong-Ming Li:
Content-based Image Retrieval using Visual Attention Point Features. 309-329 - Ping Zhu, Huiyang Xie, Qiaoyan Wen:
A Unified Definition of Consistent Functions. 331-340
Volume 135, Number 4, 2014
- Wojciech Penczek, Ludwik Czaja:
Preface. i - Jack Betts, Berndt Müller:
Engineering MAS - A Device Integration Framework for Smart Home Environments. 341-353 - Valentina Castiglioni, Ruggero Lanotte, Simone Tini:
A Specification Format for Rooted Branching Bisimulation. 355-369 - Adam Grabowski:
Efficient Rough Set Theory Merging. 371-385 - Frank Heitmann, Michael Köhler-Bußmeier:
Structural and Dynamic Restrictions of Elementary Object Systems. 387-401 - Magdalena Kacprzak, Anna Sawicka:
Identification of Formal Fallacies in a Natural Dialogue. 403-417 - Joanna Karbowska-Chilinska, Pawel Zabielski:
Genetic Algorithm with Path Relinking for the Orienteering Problem with Time Windows. 419-431 - Linh Anh Nguyen, Joanna Golinska-Pilarek:
An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ. 433-449 - Artur Niewiadomski, Jaroslaw Skaruz, Wojciech Penczek, Maciej Szreter, Mariusz Jarocki:
SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework. 451-466 - Agata Pólrola, Piotr Cybula, Artur Meski:
SMT-Based Reachability Checking for Bounded Time Petri Nets. 467-482 - Piotr Przymus, Krzysztof Kaczmarski, Krzysztof Stencel:
A Bi-objective Optimization Framework for Heterogeneous CPU/GPU Query Plans. 483-501 - Zbigniew Suraj, Piotr Grochowalski:
About New Version of RSDS System. 503-519 - Annegret Katrin Wagler, Jan-Thierry Wegener:
Preprocessing for Network Reconstruction: Feasibility Test and Handling Infeasibility. 521-535 - Piotr Wisniewski, Krzysztof Stencel:
Query Rewriting Based on Meta-Granular Aggregation. 537-551 - Bozena Wozna-Szczesniak, Andrzej Zbrzezny:
Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking. 553-568
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 2024-12-23 19:33 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:
