Sciweavers

212 search results - page 27 / 43
» On the Locality of Codeword Symbols
Sort
View
152
Voted
PCM
2010
Springer
200views Multimedia» more  PCM 2010»
15 years 8 days ago
A New Shape Descriptor for Object Recognition and Retrieval
Abstract. We present a new shape descriptor for measuring the similarity between shapes and exploit it in graphical object recognition and retrieval. By statistically integrating t...
Feng Su, Tong Lu, Ruoyu Yang
129
Voted
CORR
2007
Springer
133views Education» more  CORR 2007»
15 years 1 months ago
On Decidability Properties of Local Sentences
Local (first order) sentences, introduced by Ressayre, enjoy very nice decidability properties, following from some stretching theorems stating some remarkable links between the ...
Olivier Finkel
ICS
2003
Tsinghua U.
15 years 7 months ago
Estimating cache misses and locality using stack distances
Cache behavior modeling is an important part of modern optimizing compilers. In this paper we present a method to estimate the number of cache misses, at compile time, using a mac...
Calin Cascaval, David A. Padua
115
Voted
CORR
2010
Springer
143views Education» more  CORR 2010»
14 years 11 months ago
Cause Clue Clauses: Error Localization using Maximum Satisfiability
Much effort is spent everyday by programmers in trying to reduce long, failing execution traces to the cause of the error. We present a new algorithm for error cause localization ...
Manu Jose, Rupak Majumdar
IJCAI
2007
15 years 3 months ago
A Logical Framework for Modularity of Ontologies
Modularity is a key requirement for collaborative ontology engineering and for distributed ontology reuse on the Web. Modern ontology languages, such as OWL, are logic-based, and ...
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazako...