972 search results - page 39 / 195 » Intersection types and computational effects |
CVPR
2012
IEEE
11 years 10 months ago
2012
IEEE
This paper proposes a novel approach to recognize object categories in point clouds. By quantizing 3D SURF local descriptors, computed on partial 3D shapes extracted from the poin...
SIGCSE
2009
ACM
14 years 8 months ago
2009
ACM
commonly stated definition of abstract data type (ADT) is that it is a domain of values and the operations over that domain. So, for example, a language's built-in types, lik...
IEEECIT
2010
IEEE
13 years 5 months ago
2010
IEEE
Due to the difference between rural and urban and regional disparity of computer basic education produced at their middle school period, computer application level of the freshmen ...
VLDB
1993
ACM
13 years 11 months ago
1993
ACM
Although scientific data analysis increasingly requires accessandmanipulation of large quantitiesof data,current databasetechnology fails to meet the needsof scientific processing...
ITS
2010
Springer
14 years 13 days ago
2010
Springer
Collaborative activities, like peer tutoring, can be beneficial for student learning, but only when students are supported in interacting effectively. Constructing intelligent tuto...