406 search results - page 71 / 82 » Identifying Codes and Covering Problems |
ATVA
2010
Springer
13 years 9 months ago
2010
Springer
Probabilistic B (pB) [2, 8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, prob...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
The estimation of linear causal models (also known as structural equation models) from data is a well-known problem which has received much attention in the past. Most previous wo...
JUCS
2006
13 years 8 months ago
2006
: Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful ...
IC3
2009
13 years 6 months ago
2009
A number of algorithms and approaches have been proposed towards the problem of scanning and digitizing research papers. We can classify work done in the past into three major appr...
ECIR
2008
Springer
13 years 10 months ago
2008
Springer
More and more documents on the World Wide Web are based on templates. On a technical level this causes those documents to have a quite similar source code and DOM tree structure. G...