Sciweavers

1786 search results - page 154 / 358
» The Structure of Factor Oracles
Sort
View
IWSSD
2000
IEEE
15 years 11 months ago
Model Checking Implicit-Invocation Systems
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...
David Garlan, Serge Khersonsky
CIKM
1998
Springer
15 years 10 months ago
Efficient Enumeration of Frequent Sequences
In this paper we present SPADE, a new algorithm for fast discovery of Sequential Patterns. The existing solutions to this problem make repeated database scans, and use complex has...
Mohammed Javeed Zaki
FOSSACS
2006
Springer
15 years 10 months ago
Distributed Unfolding of Petri Nets
Some recent Petri net-based approaches to fault diagnosis of distributed systems suggest to factor the problem into local diagnoses based on the unfoldings of local views of the sy...
Paolo Baldan, Stefan Haar, Barbara König
GECCO
2006
Springer
132views Optimization» more  GECCO 2006»
15 years 10 months ago
A neural evolutionary approach to financial modeling
This paper presents an approach to the joint optimization of neural network structure and weights which can take advantage of backpropagation as a specialized decoder. The approac...
Antonia Azzini, Andrea Tettamanzi
DOCENG
2008
ACM
15 years 8 months ago
Identifying and expanding titles in web texts
In this paper, we present an analysis based on linguistic and typographic features that allows for the identification of titles in web documents. We focus in particular on procedu...
Clémentine Adam, Estelle Delpech, Patrick S...