4099 search results - page 624 / 820 » A Framework for Interactive Proof |
154
click to vote
ICCS
2009
Springer
15 years 11 months ago
2009
Springer
The depth-integrated shallow water equations are frequently used for simulating geophysical flows, such as storm-surges, tsunamis and river flooding. In this paper a parallel sha...
154
click to vote
ICCS
2009
Springer
15 years 11 months ago
2009
Springer
The ultimate goal of data visualization is to clearly portray features relevant to the problem being studied. This goal can be realized only if users can effectively communicate t...
131
click to vote
CANDC
2009
ACM
15 years 11 months ago
2009
ACM
This paper presents a novel computational approach to the study of creativity. In particular, it discusses a modeling framework that addresses the worth of ideas ascribed by agent...
133
click to vote
ESEM
2009
ACM
15 years 11 months ago
2009
ACM
Usability testing activities have numerous benefits in theory, yet they are often overlooked or disregarded in practice. A testing paradigm which yields objective, quantitative re...
154
Voted
CISIS
2008
IEEE
15 years 11 months ago
2008
IEEE
The new era of multi-core processing challenges software designers to efficiently exploit the parallelism that is now massively available. Programmers have to exchange the conven...