2343 search results - page 251 / 469 » Structure and Interpretation of Computer Programs |
173
click to vote
PRDC
2006
IEEE
16 years 13 days ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
143
Voted
SIBGRAPI
2006
IEEE
16 years 13 days ago
2006
IEEE
Statistical discrimination methods are suitable not only for classification but also for characterisation of differences between a reference group of patterns and the population u...
149
click to vote
HT
2005
ACM
16 years 3 hour ago
2005
ACM
Conversion between different adaptive hypermedia systems has barely been proposed, yet alone tested in realistic settings. This paper presents the evaluation of the interoperabili...
187
click to vote
IJAR
2010
15 years 4 months ago
2010
The logical and algorithmic properties of stable conditional independence (CI) as an alternative structural representation of conditional independence information are investigated...
208
click to vote
CSCW
2012
ACM
14 years 2 months ago
2012
ACM
We report on a study of the English edition of Wikipedia in which we used a mixed methods approach to understand how nested organizational structures called WikiProjects support c...