Sciweavers

725 search results - page 63 / 145
» Intelligent Techniques in Stock Analysis
Sort
View
WLP
1997
Springer
15 years 6 months ago
Extending Homeomorphic Embedding in the Context of Logic Programming
Recently well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure the termination of program analysis, specialisation and transform...
Michael Leuschel
APN
2006
Springer
15 years 5 months ago
A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets
Abstract. In this work, we address the problem of transient and steadystate analysis of a stochastic Petri net which includes non Markovian distributions with a finite support but ...
Serge Haddad, Lynda Mokdad, Patrice Moreaux
AAAI
2010
15 years 3 months ago
Fast Algorithms for Top-k Approximate String Matching
Top-k approximate querying on string collections is an important data analysis tool for many applications, and it has been exhaustively studied. However, the scale of the problem ...
Zhenglu Yang, Jianjun Yu, Masaru Kitsuregawa
ANTSW
2010
Springer
15 years 11 hour ago
Formal Verification of Probabilistic Swarm Behaviours
Robot swarms provide a way for a number of simple robots to work together to carry out a task. While swarms have been found to be adaptable, fault-tolerant and widely applicable, d...
Savas Konur, Clare Dixon, Michael Fisher
FLAIRS
2011
14 years 5 months ago
Simulating Human Ratings on Word Concreteness
Psychological measures of concreteness of words are generally estimated by having humans provide ratings of words on a concreteness scale. Due to the limits of this technique, con...
Shi Feng, Zhiqiang Cai, Scott A. Crossley, Daniell...