Sciweavers

5707 search results - page 386 / 1142
» Symbolic Simulation - Techniques and Applications
Sort
View
CORR
2010
Springer
85views Education» more  CORR 2010»
15 years 7 months ago
The Motif Tracking Algorithm
: The search for patterns or motifs in data represents a problem area of key interest to finance and economic researchers. In this paper we introduce the Motif Tracking Algorithm, ...
William O. Wilson, Phil Birkin, Uwe Aickelin
CORR
2010
Springer
67views Education» more  CORR 2010»
15 years 7 months ago
Similarity-based Reasoning in Qualified Logic Programming
Similarity-based Logic Programming (briefly, SLP) has been proposed to enhance the LP paradigm with a kind of approximate reasoning which supports flexible information retrieval a...
Rafael Caballero, Mario Rodríguez-Artalejo,...
EXPERT
2008
78views more  EXPERT 2008»
15 years 7 months ago
Odor Recognition for Intelligent Systems
An electronic nose (e-nose) is an intelligent sensing device that uses an array of gas sensors of partial and overlapping selectivity along with a pattern recognition component to...
Amy Loutfi, Silvia Coradeschi
JSYML
2008
74views more  JSYML 2008»
15 years 7 months ago
Omitting types for finite variable fragments and complete representations of algebras
. We give a novel application of algebraic logic to first order logic. A new, flexible construction is presented for representable but not completely representable atomic relation ...
Tarek Sayed Ahmed, Hajnal Andréka, Istv&aac...
ENTCS
2007
104views more  ENTCS 2007»
15 years 7 months ago
Exogenous Probabilistic Computation Tree Logic
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan,...