4276 search results - page 94 / 856 » Techniques for Empirical Validation |
152
click to vote
PASTE
2005
ACM
15 years 12 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
173
click to vote
EXPCS
2007
15 years 10 months ago
2007
Simulation has been the de facto standard method for performance evaluation of newly proposed ideas in computer architecture for many years. While simulation allows for theoretica...
210
click to vote
CRIWG
2004
15 years 7 months ago
2004
Pair programming is an Extreme Programming (XP) practice where two programmers work on a single computer to produce an artifact. Empirical evaluations have provided evidence that t...
154
click to vote
CSCW
2002
ACM
15 years 6 months ago
2002
ACM
In this paper, we first describe a formative empirical study to inform the design of CSCW tools to support idea finding in co-located groups. Groups of students worked on creative...
186
click to vote
ICML
2006
IEEE
16 years 7 months ago
2006
IEEE
We consider the problem of fitting a large-scale covariance matrix to multivariate Gaussian data in such a way that the inverse is sparse, thus providing model selection. Beginnin...