Sciweavers

636 search results - page 20 / 128
» Adapting Logics
Sort
View
HCSE
2010
14 years 10 months ago
Desktop-to-Mobile Web Adaptation through Customizable Two-Dimensional Semantic Redesign
In this paper we present a novel method for desktop-to-mobile adaptation. The solution also supports end-users in customizing multi-device ubiquitous user interfaces. In particular...
Fabio Paternò, Giuseppe Zichittella
ICLP
1999
Springer
15 years 4 months ago
Bounded Nondeterminism of Logic Programs
We introduce the notion of bounded nondeterminism for logic programs and queries. A program and a query have bounded nondeterminism if there are finitely many refutations for the...
Dino Pedreschi, Salvatore Ruggieri
ICPR
2000
IEEE
15 years 4 months ago
Logical Templates for Feature Extraction in Fingerprint Images
We present a novel approach for extraction of minutiaefeatures from fingerprint images. Theproposed approach is based on the use of logical templates for minutiae extraction in th...
Bir Bhanu, Michael Boshra, Xuejun Tan
ICFCA
2007
Springer
15 years 3 months ago
A Proposal for Combining Formal Concept Analysis and Description Logics for Mining Relational Data
Recent advances in data and knowledge engineering have emphasized the need for formal concept analysis (FCA) tools taking into account structured data. There are a few adaptations ...
Mohamed Rouane Hacene, Marianne Huchard, Amedeo Na...
IWFM
2000
162views Formal Methods» more  IWFM 2000»
15 years 1 months ago
Modal Logics for Reasoning about Object-based Component Composition
Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system hav...
Claus Pahl