default search action
Fundamenta Informaticae, Volume 96
Volume 96, Numbers 1-2, 2009
- Sanghamitra Bandyopadhyay, Malay Bhattacharyya:
Mining the Largest Dense Vertexlet in a Weighted Scale-free Graph. 1-25 - Jan A. Bergstra, Cornelis A. Middelburg:
Instruction Sequences with Dynamically Instantiated Instructions. 27-48 - Chi-Shiang Chan:
On Using LSB Matching Function for Data Hiding in Pixels. 49-59 - Tzung-Her Chen, Kai-Hsiang Tsao, Yan-Ting Yang:
Friendly Color Visual Secret Sharing by Random Grids. 61-70 - Jürgen Dassow, Gema M. Martín, Francisco J. Vico:
A Similarity Measure for Cyclic Unary Regular Languages. 71-88 - Jean-Christophe Janodet, Marc Sebban, Henri-Maxime Suchier:
Boosting Classifiers Built from Different Subsets of Features. 89-109 - Costas D. Koutras, Yorgos Zikos:
On a Modal Epistemic Axiom Emerging from McDermott-Doyle Logics. 111-125 - Ruggero Lanotte, Danièle Beauquier:
A Decidable Probability Logic for Timed Probabilistic Systems. 127-151 - Soufiane Rital:
Hypergraph Cuts & Unsupervised Representation for Image Segmentation. 153-179 - Witold R. Rudnicki, Aleksander Jankowski, Aleksander Modzelewski, Aleksander Piotrowski, Adam Zadrozny:
The new SIMD Implementation of the Smith-Waterman Algorithm on Cell Microprocessor. 181-194 - Sriparna Saha, Sanghamitra Bandyopadhyay:
Semi-GAPS: A Semi-supervised Clustering Method Using Point Symmetry. 195-209 - Guohua Shen, Zhiqiu Huang, Yuping Zhang, Xiaodong Zhu, Jun Yang:
A Semantic Model for Matchmaking of Web Services Based on Description Logics. 211-226
Volume 96, Number 3, 2009
- Federico Bergenti, Alessandro Dal Palù, Gianfranco Rossi:
Integrating Finite Domain and Set Constraints into a Set-based Constraint Language. 227-252 - Loris Bozzato, Mauro Ferrari, Paola Villa:
Actions Over a Constructive Semantics for Description Logics. 253-269 - Annamaria Bria, Wolfgang Faber, Nicola Leone:
Normal Form Nested Programs. 271-295 - Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
GASP: Answer Set Programming with Lazy Grounding. 297-322 - Alessandro Ferrante, Margherita Napoli, Mimmo Parente:
Model Checking for Graded CTL. 323-339 - Laura Giordano, Nicola Olivetti, Valentina Gliozzi, Gian Luca Pozzato:
ALC + T: a Preferential Extension of Description Logics. 341-372 - Valerio Senni, Alberto Pettorossi, Maurizio Proietti:
A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs. 373-393
Volume 96, Number 4, 2009
- Sang Keun Rhee, Jihye Lee, Myon-Woong Park, Michal Szymczak, Grzegorz Frackowiak, Maria Ganzha, Marcin Paprzycki:
Measuring Semantic Closeness of Ontologically Demarcated Resources. 395-418 - Soufiane El Jelali, Abdelouahid Lyhyaoui, Aníbal R. Figueiras-Vidal:
Designing Model Based Classifiers by Emphasizing Soft Targets. 419-433 - Mariusz Paradowski, Halina Kwasnicka:
Improved Resulted Word Counts Optimizer for Automatic Image Annotation Problem. 435-463 - Krzysztof Brzostowski, Jerzy Swiatek:
Different Approaches to Model Relationship Between EMG Signals and Force Moments in Human Skeletal Muscle. Analysis for Diagnosis of Neuronmuscular Disorders. 465-475 - Stefan Kotowski, Witold Kosinski, Zbigniew Michalewicz, Piotr Synak, Lukasz Brocki:
On Stability and Classification Tools for Genetic Algorithms. 477-491
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.