Sciweavers

3408 search results - page 464 / 682
» Logic, language, information and computation
Sort
View
SEMWIKI
2008
154views Data Mining» more  SEMWIKI 2008»
14 years 5 days 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»
13 years 10 months 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
14 years 5 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
GROUP
2005
ACM
14 years 4 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
CVPR
1997
IEEE
14 years 3 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