1888 search results - page 193 / 378 » Proof theory and computational analysis |
69
Voted
CHI
2007
ACM
16 years 1 months ago
2007
ACM
In this paper we present the MapMover project as a case study into the use and design of an interactive system for collective expression. Informed by analysis and reflection we ad...
136
Voted
STORYTELLING
2005
Springer
15 years 6 months ago
2005
Springer
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
124
click to vote
CVIU
2007
15 years 23 days ago
2007
In this paper we present a new theory and an algorithm for image segmentation based on a strength of connectedness between every pair of image elements. The object definition use...
103
Voted
STOC
2009
ACM
16 years 1 months ago
2009
ACM
An affine disperser over Fn 2 for sources of dimension d is a function f : Fn 2 F2 such that for any affine space S Fn 2 of dimension at least d, we have {f(s) : s S} = F2. Aff...
78
Voted
CADE
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...