5122 search results - page 317 / 1025 » Comparing Consequence Relations |
161
click to vote
CHI
2009
ACM
16 years 1 months ago
2009
ACM
Eliciting user preferences for large datasets and creating rankings based on these preferences has many practical applications in community-based sites. This paper gives a new met...
207
click to vote
WADS
2009
Springer
16 years 1 months ago
2009
Springer
This paper provides a systematic study of several proposed measures for online algorithms in the context of a specific problem, namely, the two server problem on three colinear po...
210
click to vote
MEMOCODE
2008
IEEE
16 years 1 months ago
2008
IEEE
Equivalence checking is a classical verification method determining if a finite-state concurrent system (protocol) satisfies its desired external behaviour (service) by compari...
188
click to vote
SYNASC
2006
IEEE
16 years 21 days ago
2006
IEEE
Mining relational data often boils down to computing clusters, that is finding sub-communities of data elements forming cohesive sub-units, while being well separated from one an...
155
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
The Health Level 7 Clinic Document Architecture (CDA) is an XML-based document markup standard that specifies the hierarchical structure and semantics of “clinical documents” ...