Sciweavers

3954 search results - page 175 / 791
» Image-based Model Completion
Sort
View
TARK
2005
Springer
15 years 12 months ago
First-order classical modal logic: applications in logics of knowledge and probability
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
Horacio L. Arló-Costa, Eric Pacuit
CSE
2009
IEEE
15 years 4 months ago
Size Matters: Variation in Personal Network Size, Personality and Effect on Information Transmission
In the last decade, there has been a massive increase in network research across both the social and physical sciences. In Physics and Mathematics, there have been extensive work o...
Yu-En Lu, Sam Roberts, Pietro Liò, Robin Du...
NAR
2011
197views Computer Vision» more  NAR 2011»
14 years 9 months ago
dictyBase update 2011: web 2.0 functionality and the initial steps towards a genome portal for the Amoebozoa
dictyBase (http://www.dictybase.org), the model organism database for Dictyostelium, aims to provide the broad biomedical research community with well integrated, high quality dat...
Pascale Gaudet, Petra Fey, Siddhartha Basu, Yulia ...
QOSA
2007
Springer
16 years 14 days ago
Architectural Knowledge: Getting to the Core
Different organizations or organizational units are likely to store and maintain different types of information about their software architectures. This inhibits effective manageme...
Remco C. de Boer, Rik Farenhorst, Patricia Lago, H...
BPM
2006
Springer
113views Business» more  BPM 2006»
15 years 10 months ago
Process Equivalence: Comparing Two Process Models Based on Observed Behavior
In various application domains there is a desire to compare process models, e.g., to relate an organization-specific process model to a reference model, to find a web service match...
Wil M. P. van der Aalst, Ana Karla A. de Medeiros,...