Sciweavers

3408 search results - page 464 / 682
» Logic, language, information and computation
Sort
View
SEMWIKI
2008
154views Data Mining» more  SEMWIKI 2008»
15 years 2 months ago
Flyspeck in a Semantic Wiki
Abstract. Semantic wikis have been successfully applied to many problems in knowledge management and collaborative authoring. They are particularly appropriate for scientific and m...
Christoph Lange 0002, Sean McLaughlin, Florian Rab...
NJC
2000
169views more  NJC 2000»
15 years 13 days ago
A Type System for Bounded Space and Functional In-Place Update
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...
Martin Hofmann
CCS
2007
ACM
15 years 6 months ago
Uclinux: a linux security module for trusted-computing-based usage controls enforcement
Usage controls allow the distributor of some information to limit how recipients of that information may use it. The Trusted Computing Group has standardized Trusted Platform Modu...
David Kyle, José Carlos Brustoloni
90
Voted
GROUP
2005
ACM
15 years 6 months ago
FrameDrops: a mobile VideoBlog for workgroups and virtual communities
In this paper FrameDrops is presented. FrameDrops is a mobile VideoBlog—it allows users to capture videos and pictures on the move with modern mobile phones, and to send these d...
Tom Gross, Martin Kleppe
93
Voted
CVPR
1997
IEEE
15 years 4 months ago
Name-It: Association of Face and Name in Video
This paper proposes a novel approach to extract meaningful content information from video by collaborative integration of imageunderstanding and natural language processing. As an...
Shin'ichi Satoh, Takeo Kanade