Sciweavers

777 search results - page 35 / 156
» presence 2010
Sort
View
PROPERTYTESTING
2010
14 years 10 months ago
Some Recent Results on Local Testing of Sparse Linear Codes
We study the local testability of linear codes. We first reformulate this question in the language of tolerant linearity testing under a non-uniform distribution. We then study th...
Swastik Kopparty, Shubhangi Saraf
102
Voted
AND
2009
14 years 10 months ago
Cohen's class distributions for skew angle estimation in noisy ancient Arabic documents
This paper presents an adaptive method for the skew angle estimation of noisy handwritten Arabic documents using the energy distributions of Cohen’s class. The presence of noise...
Nazih Ouwayed, Abdel Belaïd, François ...
128
Voted
FAC
2010
106views more  FAC 2010»
14 years 10 months ago
Automatic verification of Java programs with dynamic frames
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Sc...
121
Voted
FUIN
2010
116views more  FUIN 2010»
14 years 10 months ago
An Investigation of Multi-Agent Planning in CLP
This paper explores the use of Constraint Logic Programming (CLP) as a platform for experimenting with planning problems in the presence of multiple interacting agents. The paper ...
Agostino Dovier, Andrea Formisano, Enrico Pontelli
91
Voted
IJKDB
2010
162views more  IJKDB 2010»
14 years 9 months ago
New Trends in Graph Mining: Structural and Node-Colored Network Motifs
Searching for repeated features characterizing biological data is fundamental in computational biology. When biological networks are under analysis, the presence of repeated modul...
Francesco Bruno, Luigi Palopoli, Simona E. Rombo