Sciweavers

2635 search results - page 245 / 527
» Refactoring Process Models in Large Process Repositories
Sort
View
146
Voted
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
15 years 9 months ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
151
Voted
ENTCS
2010
97views more  ENTCS 2010»
15 years 1 months ago
A Framework for Modelling and Simulating Networks of Cells
Several complex biological phenomena are to be modelled in terms of a large and dynamic network of compartments, where the interplay between inter-compartment and intra-compartmen...
Sara Montagna, Mirko Viroli
111
Voted
CSDA
2006
85views more  CSDA 2006»
15 years 3 months ago
Two-way Poisson mixture models for simultaneous document classification and word clustering
An approach to simultaneous document classification and word clustering is developed using a two-way mixture model of Poisson distributions. Each document is represented by a vect...
Jia Li, Hongyuan Zha
166
Voted
TMI
2010
182views more  TMI 2010»
15 years 2 months ago
A Bayesian Mixture Approach to Modeling Spatial Activation Patterns in Multisite fMRI Data
Abstract—We propose a probabilistic model for analyzing spatial activation patterns in multiple functional magnetic resonance imaging (fMRI) activation images such as repeated ob...
Seyoung Kim, Padhraic Smyth, Hal S. Stern
125
Voted
SOCIALCOM
2010
15 years 1 months ago
Traffic in Social Media II: Modeling Bursty Popularity
Online popularity has enormous impact on opinions, culture, policy, and profits, especially with the advent of the social Web and Web advertising. Yet the processes that drive popu...
Jacob Ratkiewicz, Filippo Menczer, Santo Fortunato...