Sciweavers

1543 search results - page 209 / 309
» Using a Groupware Space for Distributed Requirements Enginee...
Sort
View
BCSHCI
2007
15 years 4 months ago
A toolkit approach to sketched diagram recognition
Sketch-based tools provide a more human centered design environment than traditional widget-based computer design software. A number of sketch tools exist that support specific de...
Beryl Plimmer, Isaac Freeman
IJCAI
2003
15 years 4 months ago
Gaussian Process Models of Spatial Aggregation Algorithms
Multi-level spatial aggregates are important for data mining in a variety of scientific and engineering applications, from analysis of weather data (aggregating temperature and p...
Naren Ramakrishnan, Christopher Bailey-Kellogg
NJC
2006
88views more  NJC 2006»
15 years 3 months ago
Optimizing Slicing of Formal Specifications by Deductive Verification
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
Ingo Brückner, Björn Metzler, Heike Wehr...
SIGPRO
2010
137views more  SIGPRO 2010»
15 years 1 months ago
Satellite image compression by post-transforms in the wavelet domain
This paper proposes a novel compression scheme with a tunable complexity-ratedistortion trade-off. As images increase in size and resolution, more efficient compression schemes w...
Xavier Delaunay, Marie Chabert, Vincent Charvillat...
EUROSYS
2010
ACM
16 years 5 days ago
Differential RAID: Rethinking RAID for SSD Reliability
Deployment of SSDs in enterprise settings is limited by the low erase cycles available on commodity devices. Redundancy solutions such as RAID can potentially be used to protect a...
Mahesh Balakrishnan, Asim Kadav, Vijayan Prabhakar...