Sciweavers

2232 search results - page 128 / 447
» Formal Modeling and Analysis of Organizations
Sort
View
JMLR
2011
93views more  JMLR 2011»
15 years 1 months ago
Time Series Analysis with the Causality Workbench
The Causality Workbench project is an environment to test causal discovery algorithms. Via a web portal (http://clopinet.com/causality), it provides a number of resources, includi...
Isabelle Guyon, Alexander Satnikov, Constantin F. ...
AIM
2006
15 years 7 months ago
Increasing the benefit of analysis: The case of systems that support communication
: Researchers in academia and practitioners in the field are concluding that object orientation (OO) supports well the stages of technical design and programming but not the stages...
Dov Te'eni, Roy Gelbard, Matti Sade
EMSOFT
2011
Springer
14 years 6 months ago
Software certification: coding, code, and coders
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
Klaus Havelund, Gerard J. Holzmann
ICIAP
2007
ACM
16 years 6 months ago
Transformation invariant SOM clustering in Document Image Analysis
In this paper, we propose the combination of the Self Organizing Map (SOM) and of the tangent distance for effective clustering in Document Image Analysis. The proposed model (SOM...
Simone Marinai, Emanuele Marino, Giovanni Soda
DILS
2007
Springer
15 years 10 months ago
Accelerating Disease Gene Identification Through Integrated SNP Data Analysis
Information about small genetic variations in organisms, known as single nucleotide polymorphism (SNPs), is crucial to identify candidate genes that have a role in disease suscepti...
Paolo Missier, Suzanne M. Embury, Cornelia Hedeler...