16822 search results - page 3222 / 3365 » Designing Simulation Experiments |
179
click to vote
WWW
2002
ACM
16 years 6 months ago
2002
ACM
Table is a commonly used presentation scheme, especially for describing relational information. However, table understanding remains an open problem. In this paper, we consider th...
321
click to vote
PLDI
2009
ACM
16 years 6 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
270
click to vote
ASPLOS
2009
ACM
16 years 6 months ago
2009
ACM
This paper presents a surprising result: changing a seemingly innocuous aspect of an experimental setup can cause a systems researcher to draw wrong conclusions from an experiment...
149
click to vote
CHI
2009
ACM
16 years 6 months ago
2009
ACM
While most collaboration technologies are concerned with supporting particular tasks such as workflows or meetings, many work groups do not have the teamwork skills essential to e...
163
click to vote
CHI
2009
ACM
16 years 6 months ago
2009
ACM
Raimund Dachselt University of Magdeburg Faculty of Computer Science User Interface & Software Engineering Group 39106 Magdeburg, Germany dachselt@acm.org Robert Buchholz Unive...