1511 search results - page 258 / 303 » Relational Parametricity for Computational Effects |
165
click to vote
TITB
2010
14 years 11 months ago
2010
The aging population and the growing amount of medical data have increased the need for automated tools in the neurology departments. Although the researchers have been developing ...
318
click to vote
OIR
2011
14 years 7 months ago
2011
(limit 250 words) Purpose This paper reports and describes the use of MediaWiki and Google Docs at undergraduate level as online collaboration tools for co-constructing knowledge i...
135
click to vote
CHI
2006
ACM
16 years 4 months ago
2006
ACM
This paper explores the relationship between display of feedback (public vs. private) by a computer system and the basis for evaluation (present vs. absent) of that feedback. We e...
193
click to vote
CAMP
2005
IEEE
15 years 10 months ago
2005
IEEE
— This paper describes the mapping of a recently introduced template matching algorithm based on the Normalized Cross Correlation (NCC) on a general purpose processor endowed wit...
130
click to vote
HPDC
2005
IEEE
15 years 10 months ago
2005
IEEE
Parallel file subsystems in today’s high-performance computers adopt many I/O optimization strategies that were designed for distributed systems. These strategies, for instance...