Sciweavers

792 search results - page 151 / 159
» Value Based Argumentation Frameworks
Sort
View
SIGSOFT
2007
ACM
14 years 10 months ago
Finding bugs efficiently with a SAT solver
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
Julian Dolby, Mandana Vaziri, Frank Tip
WWW
2008
ACM
14 years 10 months ago
Contextual advertising by combining relevance with click feedback
Contextual advertising supports much of the Web's ecosystem today. User experience and revenue (shared by the site publisher ad the ad network) depend on the relevance of the...
Deepayan Chakrabarti, Deepak Agarwal, Vanja Josifo...
CHI
2009
ACM
14 years 10 months ago
soft(n): toward a somaesthetics of touch
This paper explores the concept of somaesthetics as an approach to the design of expressive interaction. This concept is exemplified through the design process of soft(n), an inte...
Thecla Schiphorst
KDD
2008
ACM
159views Data Mining» more  KDD 2008»
14 years 10 months ago
Semi-supervised learning with data calibration for long-term time series forecasting
Many time series prediction methods have focused on single step or short term prediction problems due to the inherent difficulty in controlling the propagation of errors from one ...
Haibin Cheng, Pang-Ning Tan
KDD
2001
ACM
203views Data Mining» more  KDD 2001»
14 years 10 months ago
Ensemble-index: a new approach to indexing large databases
The problem of similarity search (query-by-content) has attracted much research interest. It is a difficult problem because of the inherently high dimensionality of the data. The ...
Eamonn J. Keogh, Selina Chu, Michael J. Pazzani