Sciweavers

1543 search results - page 209 / 309
» Using a Groupware Space for Distributed Requirements Enginee...
Sort
View
90
Voted
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
108
Voted
IJCAI
2003
15 years 3 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
124
Voted
NJC
2006
88views more  NJC 2006»
15 years 2 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...
131
Voted
SIGPRO
2010
137views more  SIGPRO 2010»
15 years 28 days 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...
125
Voted
EUROSYS
2010
ACM
15 years 11 months 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...