517 search results - page 92 / 104 » Computing Fuzzy Answer Sets Using dlvhex |
ETVC
2008
13 years 11 months ago
2008
Abstract. This paper presents a framework to define an objective measure of the similarity (or dissimilarity) between two images for image processing. The problem is twofold: 1) de...
BMCBI
2010
2010
An intuitionistic approach to scoring DNA sequences against transcription factor binding site motifs
13 years 10 months ago
Background: Transcription factors (TFs) control transcription by binding to specific regions of DNA called transcription factor binding sites (TFBSs). The identification of TFBSs ...
EH
1999
IEEE
1999
IEEE
Evolvable Hardware or Learning Hardware? Induction of State Machines from Temporal Logic Constraints
14 years 2 months ago
Here we advocate an approach to learning hardware based on induction of finite state machines from temporal logic constraints. The method involves training on examples, constraint...
ENTCS
2006
13 years 9 months ago
2006
Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under ...
ICDS
2009
IEEE
14 years 4 months ago
2009
IEEE
—Emergence of new networking technologies and paradigms provides users multitude of ways to communicate with each others and exchange information irrespective of time and place. ...