3172 search results - page 130 / 635 » On the Random-Self-Reducibility of Complete Sets |
157
click to vote
FAC
1998
15 years 6 months ago
1998
In the process-algebraic veri cation of systems with three or more components put in parallel, alphabet axioms are considered to be very useful. These are rules that exploit the i...
158
click to vote
CSL
1999
Springer
15 years 6 months ago
1999
Springer
This paper presents a new approach to speech synthesis in which a set of cross-word decision-tree state-clustered context-dependent hidden Markov models are used to define a set o...
185
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
The impossibility of current spatial database systems and GIS to handle spatial vagueness and imprecision has been recognized as an important problem in the spatial database domai...
158
click to vote
LOGCOM
2010
15 years 4 months ago
2010
A theory of infinitary deduction systems is developed for the modal logic of coalgebras for measurable polynomial functors on the category of measurable spaces. These functors ha...
152
click to vote
PVLDB
2010
15 years 4 months ago
2010
We present Data Auditor, a tool for exploring data quality and data semantics. Given a rule or an integrity constraint and a target relation, Data Auditor computes pattern tableau...