10916 search results - page 1963 / 2184 » On Constructive Connectives and Systems |
179
click to vote
JDM
2006
15 years 6 months ago
2006
Approximately 57 different types of clinical annotations construct a patient's medical record. The annotations include radiology reports, discharge summaries, and surgical an...
169
click to vote
KAIS
2008
15 years 6 months ago
2008
Multirelational classification aims at discovering useful patterns across multiple inter-connected tables (relations) in a relational database. Many traditional learning techniques...
218
click to vote
JHSN
2006
15 years 6 months ago
2006
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard ...
195
click to vote
JOT
2006
15 years 6 months ago
2006
The increasing importance of software measurement has led to development of new software measures. Many metrics have been proposed related to various constructs like class, coupli...
181
click to vote
ENTCS
2007
15 years 6 months ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...