Sciweavers

1596 search results - page 289 / 320
» Human-Guided Simple Search
Sort
View
CHI
2009
ACM
16 years 12 days ago
Providing dynamically changeable physical buttons on a visual display
Physical buttons have the unique ability to provide lowattention and vision-free interactions through their intuitive tactile clues. Unfortunately, the physicality of these interf...
Chris Harrison, Scott E. Hudson
SAS
2009
Springer
281views Formal Methods» more  SAS 2009»
16 years 11 days ago
A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination
The Java programming language requires that out-of-bounds array accesses produce runtime exceptions. In general, this requires a dynamic bounds check each time an array element is...
David Niedzielski, Jeffery von Ronne, Andreas Gamp...
CAV
2009
Springer
136views Hardware» more  CAV 2009»
16 years 11 days ago
Intra-module Inference
Abstract. Contract-based property checkers hold the potential for precise, scalable, and incremental reasoning. However, it is difficult to apply such checkers to large program mod...
Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti,...
KDD
2004
ACM
164views Data Mining» more  KDD 2004»
16 years 7 days ago
Discovering complex matchings across web query interfaces: a correlation mining approach
To enable information integration, schema matching is a critical step for discovering semantic correspondences of attributes across heterogeneous sources. While complex matchings ...
Bin He, Kevin Chen-Chuan Chang, Jiawei Han
KDD
2004
ACM
124views Data Mining» more  KDD 2004»
16 years 7 days ago
Support envelopes: a technique for exploring the structure of association patterns
This paper introduces support envelopes--a new tool for analyzing association patterns--and illustrates some of their properties, applications, and possible extensions. Specifical...
Michael Steinbach, Pang-Ning Tan, Vipin Kumar