11017 search results - page 236 / 2204 » Closure Systems and their Structure |
175
click to vote
CHI
2009
ACM
15 years 3 months ago
2009
ACM
The success of Wikipedia has demonstrated the power of peer production in knowledge building. However, unlike many other examples of collective intelligence, tasks in Wikipedia ca...
155
click to vote
ACL
2012
13 years 8 months ago
2012
We demonstrate applications of psycholinguistic and sublexical information for learning Chinese characters. The knowledge about the grapheme-phoneme conversion (GPC) rules of lang...
167
click to vote
CVPR
2009
IEEE
16 years 3 months ago
2009
IEEE
We present an image-based Simultaneous Localization and Mapping (SLAM) framework with online, appearanceonly loop closing. We adopt a layered approach with metric maps over small ...
141
click to vote
VMCAI
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
168
click to vote
AFP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Esther is the interactive shell of Famke, a prototype implementation of a strongly typed operating system written in the functional programming language Clean. As usual, ...