Sciweavers

279 search results - page 34 / 56
» Type Reconstruction for SCI
Sort
View
FATES
2006
Springer
13 years 11 months ago
Dynamic Architecture Extraction
Abstract. Object models capture key properties of object-oriented architectures, and they can highlight relationships between types, occurrences of sharing, and object encapsulatio...
Cormac Flanagan, Stephen N. Freund
IDMS
2000
Springer
123views Multimedia» more  IDMS 2000»
13 years 11 months ago
How to Keep a Dead Man from Shooting
The state-of-the-art approach to realize consistency in distributed virtual environments (e.g., action games, multi-user virtual reality, and battlefield simulations) is dead recko...
Martin Mauve
NIPS
2003
13 years 9 months ago
A Sampled Texture Prior for Image Super-Resolution
Super-resolution aims to produce a high-resolution image from a set of one or more low-resolution images by recovering or inventing plausible high-frequency image content. Typical...
Lyndsey C. Pickup, Stephen J. Roberts, Andrew Ziss...
APAL
2008
102views more  APAL 2008»
13 years 7 months ago
Partial automorphism semigroups
Abstract. We study the relationship between algebraic structures and their inverse semigroups of partial automorphisms. We consider a variety of classes of natural structures inclu...
Jennifer Chubb, Valentina S. Harizanov, Andrei S. ...
CORR
2007
Springer
183views Education» more  CORR 2007»
13 years 7 months ago
Compressed Sensing and Redundant Dictionaries
This article extends the concept of compressed sensing to signals that are not sparse in an orthonormal basis but rather in a redundant dictionary. It is shown that a matrix, whic...
Holger Rauhut, Karin Schnass, Pierre Vandergheynst