Sciweavers

12194 search results - page 60 / 2439
» cans 2010
Sort
View
CORR
2010
Springer
58views Education» more  CORR 2010»
13 years 8 months ago
Timed Automata Semantics for Analyzing Creol
ir end-to-end deadlines. Real-time Creol can be useful for analyzing, for instance, abstract models of multi-core embedded systems. We show how analysis can be done in UPPAAL.
Mohammad Mahdi Jaghoori, Tom Chothia
CORR
2010
Springer
72views Education» more  CORR 2010»
13 years 8 months ago
Privately Releasing Conjunctions and the Statistical Query Barrier
Suppose we would like to know all answers to a set of statistical queries C on a data set up to small error, but we can only access the data itself using statistical queries. A tr...
Anupam Gupta, Moritz Hardt, Aaron Roth, Jonathan U...
CORR
2010
Springer
119views Education» more  CORR 2010»
13 years 6 months ago
Using Information Theory to Study the Efficiency and Capacity of Computers and Similar Devices
We address the problems of estimating the computer efficiency and the computer capacity. We define the computer efficiency and capacity and suggest a method for their estimation, ...
Boris Ryabko
INTERSPEECH
2010
13 years 3 months ago
Artificial and online acquired noise dictionaries for noise robust ASR
Recent research has shown that speech can be sparsely represented using a dictionary of speech segments spanning multiple frames, exemplars, and that such a sparse representation ...
Jort F. Gemmeke, Tuomas Virtanen
FAW
2010
Springer
225views Algorithms» more  FAW 2010»
13 years 9 months ago
Computing Minimum Diameter Color-Spanning Sets
We study the minimum diameter color-spanning set problem which has recently drawn some attention in the database community. We show that the problem can be solved in polynomial tim...
Rudolf Fleischer, Xiaoming Xu