Sciweavers

520 search results - page 55 / 104
» On the discovery of process models from their instances
Sort
View
BMCBI
2005
143views more  BMCBI 2005»
15 years 6 months ago
Gene capture prediction and overlap estimation in EST sequencing from one or multiple libraries
Background: In expressed sequence tag (EST) sequencing, we are often interested in how many genes we can capture in an EST sample of a targeted size. This information provides ins...
Ji-Ping Z. Wang, Bruce G. Lindsay 0002, Liying Cui...
CORR
2011
Springer
227views Education» more  CORR 2011»
15 years 1 months ago
Message Structures: a modelling technique for information systems analysis and design
Despite the increasing maturity of model-driven development (MDD), some research challenges remain open in the field of information systems (IS). For instance, there is a need to i...
Sergio España, Arturo González, Osca...
FGCS
2006
113views more  FGCS 2006»
15 years 6 months ago
Performance feature identification by comparative trace analysis
This work introduces a method for instrumenting applications, producing execution traces, and visualizing multiple trace instances to identify performance features. The approach p...
Daniel P. Spooner, Darren J. Kerbyson
ATAL
2008
Springer
15 years 8 months ago
Modeling and managing collective cognitive convergence
When the same set of people interact frequently with one another, they grow to think more and more along the same lines, a phenomenon we call "collective cognitive convergenc...
H. Van Dyke Parunak, Theodore C. Belding, Rainer H...
TACAS
2009
Springer
106views Algorithms» more  TACAS 2009»
16 years 1 months ago
Hierarchical Set Decision Diagrams and Regular Models
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Ham...