Sciweavers

4949 search results - page 333 / 990
» Consistency and Set Intersection
Sort
View
JSA
2000
96views more  JSA 2000»
15 years 6 months ago
Schedulability analysis of periodic and aperiodic tasks with resource constraints
In this paper, we address the problem of scheduling hybrid task sets consisting of hard periodic and soft aperiodic tasks that may share resources in exclusive mode in a dynamic e...
Giuseppe Lipari, Giorgio C. Buttazzo
PRL
2000
148views more  PRL 2000»
15 years 6 months ago
One-dimensional representation of two-dimensional information for HMM based handwriting recognition
: In this study, we introduce a set of one-dimensional features to represent two dimensional shape information for HMM (Hidden Markov Model) based handwritten optical character rec...
Nafiz Arica, Fatos T. Yarman-Vural
IJCAT
2010
93views more  IJCAT 2010»
15 years 5 months ago
FAETON: Form Analysis and Extraction Tool for ONtology construction
Abstract: This paper presents a method for semi-automatically building tailored application ontologies from a set of data acquisition forms. Such ontologies are intended to facilit...
Rafael Berlanga Llavori, Ernesto Jiménez-Ru...
JELIA
2010
Springer
15 years 5 months ago
A Normal Form for Linear Temporal Equilibrium Logic
In previous work, the so-called Temporal Equilibrium Logic (TEL) was introduced. This formalism provides an extension of the Answer Set semantics for logic programs to arbirary the...
Pedro Cabalar
BIBM
2010
IEEE
161views Bioinformatics» more  BIBM 2010»
15 years 4 months ago
Cis-regulatory module detection using constraint programming
We propose a method for finding CRMs in a set of co-regulated genes. Each CRM consists of a set of binding sites of transcription factors. We wish to find CRMs involving the same t...
Tias Guns, Hong Sun, Kathleen Marchal, Siegfried N...