Sciweavers

1566 search results - page 80 / 314
» Topological spaces of the web
Sort
View
99
Voted
ESOP
2006
Springer
15 years 4 months ago
Type-Based Amortised Heap-Space Analysis
Abstract. We present a type system for a compile-time analysis of heapspace requirements of Java style object-oriented programs with explicit deallocation. Our system is based on a...
Martin Hofmann, Steffen Jost
125
Voted
HICSS
2010
IEEE
163views Biometrics» more  HICSS 2010»
15 years 1 months ago
Not Too Long to Read: The tldr Interface for Exploring and Navigating Large-Scale Discussion Spaces
We present a new interface for exploring and navigating large-scale discussions on the internet. Our system, tldr, focuses on three primary user goals: finding, navigating and fil...
Srikanth Narayan, Coye Cheshire
131
Voted
VR
2010
IEEE
245views Virtual Reality» more  VR 2010»
14 years 7 months ago
An augmented reality view on mirror world content, with Image Space
We present a prototype mobile augmented reality client addition to the "Image Space" mixed reality media sharing service. We have explored how the real world aligned &qu...
David J. Murphy, Markus Kahari, Ville-Veiko Mattil...
105
Voted
EMNLP
2011
14 years 16 days ago
Approximate Scalable Bounded Space Sketch for Large Data NLP
We exploit sketch techniques, especially the Count-Min sketch, a memory, and time efficient framework which approximates the frequency of a word pair in the corpus without explic...
Amit Goyal, Hal Daumé III
139
Voted
CORR
2011
Springer
160views Education» more  CORR 2011»
14 years 4 months ago
Searching for Bayesian Network Structures in the Space of Restricted Acyclic Partially Directed Graphs
Although many algorithms have been designed to construct Bayesian network structures using different approaches and principles, they all employ only two methods: those based on i...
Silvia Acid, Luis M. de Campos