Sciweavers

1087 search results - page 60 / 218
» The DecideIT Decision Tool
Sort
View
CLIMA
2011
12 years 7 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...
AIME
2003
Springer
14 years 27 days ago
Constraint Reasoning in Deep Biomedical Models
Objective: Deep biomedical models are often expressed by means of differential equations. Despite their expressive power, they are difficult to reason about and make decisions, g...
Jorge Cruz, Pedro Barahona
CORR
2010
Springer
74views Education» more  CORR 2010»
13 years 7 months ago
Significance of Classification Techniques in Prediction of Learning Disabilities
The aim of this study is to show the importance of two classification techniques, viz. decision tree and clustering, in prediction of learning disabilities (LD) of school-age chil...
Julie M. David, Kannan Balakrishnan
IIE
2008
98views more  IIE 2008»
13 years 7 months ago
Data Mining Application in Higher Learning Institutions
One of the biggest challenges that higher learning institutions face today is to improve the quality of managerial decisions. The managerial decision making process becomes more co...
Naeimeh Delavari, Somnuk Phon-Amnuaisuk, M. Reza B...
CADE
2006
Springer
13 years 11 months ago
A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms
We present a tool for checking the sufficient completeness of linear, order-sorted equational specifications modulo associativity, commutativity, and identity. Our tool treats this...
Joe Hendrix, José Meseguer, Hitoshi Ohsaki