Sciweavers

1098 search results - page 74 / 220
» Combining Models for Business Decisions and Software Develop...
Sort
View
CORR
2011
Springer
227views Education» more  CORR 2011»
14 years 11 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...
ISICT
2003
15 years 5 months ago
Supporting complexity through (informational and physical) collaboration and modeling
Abstract: A vision of tools to support software development organizations in the process of development, maintenance and evolution of systems is presented. The envisioned tools see...
Daniel C. M. May, Bent Bruun Kristensen, Palle Now...
LPAR
2005
Springer
15 years 9 months ago
Integration of a Software Model Checker into Isabelle
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
Matthias Daum, Stefan Maus, Norbert Schirmer, M. N...
IMCSIT
2010
15 years 2 months ago
A Breast Cancer Classifier based on a Combination of Case-Based Reasoning and Ontology Approach
Breast cancer is the second most common form of cancer amongst females and also the fifth most cause of cancer deaths worldwide. In case of this particular type of malignancy, earl...
Essam AbdRabou, Abdel-Badeeh Salem
ML
2010
ACM
135views Machine Learning» more  ML 2010»
14 years 11 months ago
Multi-domain learning by confidence-weighted parameter combination
State-of-the-art statistical NLP systems for a variety of tasks learn from labeled training data that is often domain specific. However, there may be multiple domains or sources o...
Mark Dredze, Alex Kulesza, Koby Crammer