5255 search results - page 314 / 1051 » Formal Methods for Privacy |
154
click to vote
ICDAR
2011
IEEE
14 years 4 months ago
2011
IEEE
—We propose a novel method to evaluate table segmentation results based on a table image ground truther. In the ground-truthing process, we first extract connected components fr...
139
click to vote
ICCAD
2007
IEEE
16 years 1 months ago
2007
IEEE
— Computing counterexamples is a crucial task for error diagnosis and debugging of sequential systems. If an implementation does not fulfill its specification, counterexamples ...
138
click to vote
BIBE
2006
IEEE
15 years 10 months ago
2006
IEEE
— Biological networks are formalized summaries of our knowledge about interactions among biological system components, like genes, proteins, or metabolites. From their global top...
208
click to vote
ESEC
1999
Springer
15 years 9 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
159
click to vote
ICECCS
1998
IEEE
15 years 9 months ago
1998
IEEE
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...