2196 search results - page 95 / 440 » Practical Reasoning Using Values |
235
click to vote
SIGMOD
2006
ACM
16 years 2 months ago
2006
ACM
Data stream applications have made use of statistical summaries to reason about the data using nonparametric tools such as histograms, heavy hitters, and join sizes. However, rela...
103
click to vote
DLOG
2006
15 years 3 months ago
2006
We propose a technique to make consistency detection scalable for large Aboxes in secondary storage. We use static analysis of knowledge representation with summarization techniqu...
116
click to vote
FLAIRS
2000
15 years 3 months ago
2000
To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...
112
click to vote
CSL
2007
Springer
15 years 2 months ago
2007
Springer
In this paper, we propose a neural network model for predicting the durations of syllables. A four layer feedforward neural network trained with backpropagation algorithm is used ...
156
Voted
SIGSOFT
2010
ACM
15 years 5 days ago
2010
ACM
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...