1816 search results - page 68 / 364 » Formal Concepts of Learning Systems Validation in Use |
138
click to vote
DLOG
2004
15 years 6 months ago
2004
We present algorithms based on truth-prefixed tableaux to solve both Concept Abduction and Contraction in ALN DL. We also analyze the computational complexity of the problems, sho...
134
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...
115
click to vote
CMSB
2008
Springer
15 years 6 months ago
2008
Springer
We present the Piecewise Linear Approximation Model of Ion Channel contribution (PLAMIC) to cardiac excitation. We use the PLAMIC model to conduct formal analysis of cardiac arrhyt...
141
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
140
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
Multiparty agreements often arise in a multiagent system where autonomous agents interact with each other to achieve a global goal. Multiparty agreements are traditionally represe...