Sciweavers

4966 search results - page 161 / 994
» its 2010
Sort
View
CORR
2010
Springer
120views Education» more  CORR 2010»
15 years 3 months ago
Typicality Graphs:Large Deviation Analysis
Let X and Y be finite alphabets and PXY a joint distribution over them, with PX and PY representing the marginals. For any > 0, the set of n-length sequences xn and yn that ar...
Ali Nazari, Ramji Venkataramanan, Dinesh Krithivas...
SODA
2010
ACM
409views Algorithms» more  SODA 2010»
16 years 3 months ago
Data Structures for Range Minimum Queries in Multidimensional Arrays
Given a d-dimensional array A with N entries, the Range Minimum Query (RMQ) asks for the minimum element within a contiguous subarray of A. The 1D RMQ problem has been studied int...
Hao Yuan, Mikhail J. Atallah
ESOP
2010
Springer
16 years 3 months ago
Explicit Stabilisation for Modular Rely-Guarantee Reasoning
Abstract. We propose a new formalisation of stability for Rely-Guarantee, in which an assertion's stability is encoded into its syntactic form. This allows two advances in mod...
John Wickerson, Matthew J. Parkinson, Mike Dodds
CVPR
2010
IEEE
16 years 2 months ago
Global and Efficient Self-Similarity for Object Classification and Detection
Self-similarity is an attractive image property which has recently found its way into object recognition in the form of local self-similarity descriptors [5, 6, 14, 18, 23, 27] In...
Thomas Deselaers, Vittorio Ferrari
STACS
2010
Springer
16 years 1 months ago
The Recognition of Tolerance and Bounded Tolerance Graphs
Tolerance graphs model interval relations in such a way that intervals can tolerate a certain degree of overlap without being in conflict. This subclass of perfect graphs has bee...
George B. Mertzios, Ignasi Sau, Shmuel Zaks