Sciweavers

1156 search results - page 83 / 232
» Compositional Methods for Information-Hiding
Sort
View
CSL
2006
Springer
13 years 11 months ago
Decidable Theories of the Ordering of Natural Numbers with Unary Predicates
Abstract. Expansions of the natural number ordering by unary predicates are studied, using logics which in expressive power are located between first-order and monadic second-order...
Alexander Moshe Rabinovich, Wolfgang Thomas
AVSS
2009
IEEE
13 years 5 months ago
A Classification Architecture Based on Connected Components for Text Detection in Unconstrained Environments
The paper presents a method for efficient text detection in unconstrained environments, based on image features derived from connected components and on a classification architect...
Luca Zini, Augusto Destrero, Francesca Odone
HAIS
2011
Springer
12 years 11 months ago
Evolving Temporal Fuzzy Association Rules from Quantitative Data with a Multi-Objective Evolutionary Algorithm
A novel method for mining association rules that are both quantitative and temporal using a multi-objective evolutionary algorithm is presented. This method successfully identifie...
Stephen G. Matthews, Mario A. Góngora, Adri...
JSA
2011
81views more  JSA 2011»
12 years 10 months ago
An overview of interrupt accounting techniques for multiprocessor real-time systems
The importance of accounting for interrupts in multiprocessor real-time schedulability analsysis is discussed and three interrupt accounting methods, namely quantum-centric, task-...
Björn B. Brandenburg, Hennadiy Leontyev, Jame...
FBIT
2007
IEEE
14 years 2 months ago
Classification of Cell Membrane Proteins
Membrane proteins are an important class of proteins that serve as channels, receptors, and energy transducers in a cell membrane. Knowledge of a given type of cell membrane prote...
Seyed Koosha Golmohammadi, Lukasz A. Kurgan, Brend...