2765 search results - page 2 / 553 » Works and representation |
ICANN
2003
Springer
14 years 3 months ago
2003
Springer
The number of objects that can be maintained in visual working memory without interference is limited. We present simulations of a model of visual working memory in ventral prefron...
MC
2008
13 years 11 months ago
2008
Structure placement techniques have been successfully used to facilitate individual articulation and communication in organizational settings. Recent research provides evidence th...
ETS
2000
IEEE
13 years 9 months ago
2000
IEEE
Asynchronous text-based communication has long been established as having value in supporting the collaborative sharing of knowledge. However, in cases where learners or practitio...
CRYPTO
2011
Springer
12 years 9 months ago
2011
Springer
Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches—compact, formal representations of the essence of a...
CVPR
1999
IEEE
14 years 11 months ago
1999
IEEE
An algebraic curve is defined as the zero set of a polynomial in two variables. Algebraic curves are practical for modeling shapes much more complicated than conics or su...