21094 search results - page 398 / 4219 » An experiment using DLV-K |
176
click to vote
KDD
2003
ACM
16 years 8 months ago
2003
ACM
Privacy is an important issue in data mining and knowledge discovery. In this paper, we propose to use the randomized response techniques to conduct the data mining computation. S...
209
click to vote
CHI
2007
ACM
16 years 8 months ago
2007
ACM
We report on the design and initial evaluation of two methods for short text input in wearable computing applications using hand gestures. A wireless data glove able to recognize ...
212
click to vote
CADE
2004
Springer
16 years 8 months ago
2004
Springer
Abstract. We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof ...
211
click to vote
CADE
2004
Springer
16 years 8 months ago
2004
Springer
LRR [3] is a rewriting system developed at the Computer Science Department of University of Houston. LRR has two subsystems: Smaran (for tabled rewriting), and TGR (for untabled re...
209
click to vote
CVPR
2010
IEEE
16 years 4 months ago
2010
IEEE
In this paper we propose a novel approach to the perceptual interpretation of building facades that combines shape grammars, supervised classification and random walks. Procedural...