8495 search results - page 302 / 1699 » IT Support for Healthcare Processes |
169
click to vote
TELSYS
2002
15 years 6 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
177
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Developer testing is a type of testing where developers test their code as they write it, as opposed to testing done by a separate quality assurance organization. Developer testin...
216
click to vote
IDEAL
2010
Springer
15 years 4 months ago
2010
Springer
Based on studies and experiments on the loss term of SVMs, we argue that 1-norm measurement is better than 2-norm measurement for outlier resistance. Thus, we modify the previous 2...
145
click to vote
HPCA
2009
IEEE
16 years 7 months ago
2009
IEEE
The benefits of Out of Order (OOO) processing are well known, as is the effectiveness of predicated execution for unpredictable control flow. However, as previous research has dem...
219
click to vote
KDD
2003
ACM
16 years 7 months ago
2003
ACM
We address the issues of discovering significant binary relationships in transaction datasets in a weighted setting. Traditional model of association rule mining is adapted to han...