1497 search results - page 230 / 300 » Extended static checking |
134
Voted
CORR
2006
Springer
15 years 22 days ago
2006
Springer
: This communication describes a representation of images as a set of edges characterized by their position and orientation. This representation allows the comparison of two images...
103
click to vote
CORR
2007
Springer
15 years 20 days ago
2007
Springer
— Belief Propagation (BP) and Linear Programming (LP) decodings of Low Density Parity Check (LDPC) codes are discussed. We summarize results of instanton/pseudo-codeword approach...
92
Voted
JMM2
2006
15 years 19 days ago
2006
- Rich Site Summary (RSS) technology is a web content syndication format commonly used to organise news and the content of news-like sites. Indeed any information that can be broke...
95
Voted
ENTCS
2007
15 years 19 days ago
2007
In the constructive setting, membership predicates over recursive types are inhabited by terms indexing the elements that satisfy the criteria for membership. In this paper, we mo...
100
click to vote
SIAMCOMP
2008
15 years 18 days ago
2008
XML specifications often consist of a type definition (typically, a DTD) and a set of integrity constraints. It has been shown previously that such specifications can be inconsiste...