Sciweavers

1290 search results - page 236 / 258
» Data Dependence Testing in Practice
Sort
View
ICSE
2011
IEEE-ACM
13 years 7 days ago
Inferring better contracts
Considerable progress has been made towards automatic support for one of the principal techniques available to enhance program reliability: equipping programs with extensive contr...
Yi Wei, Carlo A. Furia, Nikolay Kazmin, Bertrand M...
SIGMOD
2011
ACM
242views Database» more  SIGMOD 2011»
12 years 11 months ago
The SystemT IDE: an integrated development environment for information extraction rules
Information Extraction (IE) — the problem of extracting structured information from unstructured text — has become the key enabler for many enterprise applications such as sem...
Laura Chiticariu, Vivian Chu, Sajib Dasgupta, Thil...
ECCV
2004
Springer
14 years 10 months ago
Interactive Image Segmentation Using an Adaptive GMMRF Model
The problem of interactive foreground/background segmentation in still images is of great practical importance in image editing. The state of the art in interactive segmentation is...
Andrew Blake, Carsten Rother, M. Brown, Patrick P&...
VIS
2004
IEEE
187views Visualization» more  VIS 2004»
14 years 10 months ago
Methods for Efficient, High Quality Volume Resampling in the Frequency Domain
Resampling is a frequent task in visualization and medical imaging. It occurs whenever images or volumes are magnified, rotated, translated, or warped. Resampling is also an integ...
Aili Li, Klaus Mueller, Thomas Ernst
INFOCOM
2009
IEEE
14 years 3 months ago
Distributed Opportunistic Scheduling With Two-Level Channel Probing
Distributed opportunistic scheduling (DOS) is studied for wireless ad-hoc networks in which many links contend for the channel using random access before data transmissions. Simpl...
P. S. Chandrashekhar Thejaswi, Junshan Zhang, Man-...