4438 search results - page 652 / 888 » The Case for Collaborative Programming |
191
click to vote
IGPL
2011
14 years 9 months ago
2011
We extend the lattice embedding of the axiomatic extensions of the positive fragment of intuitionistic logic into the axiomatic extensions of intuitionistic logic to the setting of...
194
click to vote
CANDC
2011
ACM
14 years 6 months ago
2011
ACM
This paper discusses Paradigm, a game of intuition and pattern exploration. We offer a sample case study aimed at illustrating the game’s relevance as a microdomain for studying...
172
Voted
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
In this paper, we present a novel approach to solving the supervised dimensionality reduction problem by encoding an image object as a general tensor of 2nd or higher order. First...
166
click to vote
KDD
2003
ACM
16 years 6 months ago
2003
ACM
Because of practical limits in characterizing the safety profiles of therapeutic products prior to marketing, manufacturers and regulatory agencies perform post-marketing surveill...
159
Voted
CHI
2004
ACM
16 years 6 months ago
2004
ACM
The aim of our study is to investigate systems for supporting remote instruction via a mobile robot. In the real world, instructions are typically given through words and body ori...