


default search action
Fundamenta Informaticae, Volume 119
Volume 119, Number 1, 2012
- María Cristina Riff:
Preface. - Maria Gisela Dorzán, Edilma Olinda Gagliardi, Mario Guillermo Leguizamón, Gregorio Hernández-Peñalver
:
Approximations on Minimum Weight Triangulations and Minimum Weight Pseudo-Triangulations Using Ant Colony Optimization Metaheuristic. 1-27 - Pablo Garrido, Carlos Castro:
A Flexible and Adaptive Hyper-heuristic Approach for (Dynamic) Capacitated Vehicle Routing Problems. 29-60 - Florentina Hristea, Mihaela Colhon
:
Feeding Syntactic Versus Semantic Knowledge to a Knowledge-lean Unsupervised Word Sense Disambiguation Algorithm with an Underlying Naïve Bayes Model. 61-86 - Szczepan Hummel, Michal Skrzypczak:
The Topological Complexity of MSO+U and Related Automata Models. 87-111 - Gerald Schaefer, Qinghua Hu, Huiyu Zhou
, James F. Peters, Aboul Ella Hassanien
:
Rough C-means and Fuzzy Rough C-means for Colour Quantisation. 113-120
Volume 119, Number 2, 2012
- Imen Bourguiba, Belaid Moa:
Tabular Expressions Operators. 121-147 - Justyna Kosakowska
:
Inflation Algorithms for Positive and Principal Edge-bipartite Graphs and Unit Quadratic Forms. 149-162 - Ireneusz Mrozek
, Vyacheslav N. Yarmolik:
Antirandom Test Vectors for BIST in Hardware/Software Systems. 163-185 - Henry Tan, Fedja Hadzic, Tharam S. Dillon:
Mining Induced/Embedded Subtrees using the Level of Embedding Constraint. 187-231
Volume 119, Numbers 3-4, 2012
- Ludwik Czaja:
Preface. - Talha Amin, Igor Chikalov, Mikhail Moshkov
, Beata Zielosko
:
Dynamic Programming Approach for Partial Decision Rule Optimization. 233-248 - Marco Bellia, M. Eugenia Occhiuto:
The Equivalence of Reduction and Translation Semantics of Java Simple Closures. 249-264 - Ludwik Czaja:
Exclusive Access to Resources in Distributed Shared Memory Architecture. 265-280 - Fabio Fioravanti
, Alberto Pettorossi
, Maurizio Proietti
, Valerio Senni
:
Improving Reachability Analysis of Infinite State Systems by Specialization. 281-300 - Anna Gomolinska, Marcin Wolski
:
On Graded Nearness of Sets. 301-317 - Andrzej Janusz
, Dominik Slezak, Hung Son Nguyen
:
Unsupervised Similarity Learning from Textual Data. 319-336 - Pawel Leszczynski, Krzysztof Stencel:
Update Propagator for Joint Scalable Storage. 337-355 - Elena S. Oshevskaya, Irina B. Virbitskaite, Eike Best:
Unifying Equivalences for Higher Dimensional Automata. 357-372 - Wojciech Penczek
, Bozena Wozna-Szczesniak
, Andrzej Zbrzezny
:
Towards SAT-based BMC for LTLK over Interleaved Interpreted Systems. 373-392 - Roman R. Redziejowski:
An Improved Construction of Deterministic Omega-automaton Using Derivatives. 393-406 - Jaroslaw Rzeszótko, Sinh Hoa Nguyen:
Machine Learning for Traffic Prediction. 407-420 - Andrzej Skowron, Jaroslaw Stepaniuk
, Andrzej Jankowski, Jan G. Bazan, Roman W. Swiniarski:
Rough Set Based Reasoning About Changes. 421-437

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.