529 search results - page 66 / 106 » Property Directed Abstract Interpretation |
ICAISC
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We propose a non-standard neural network called TPNN which offers the direct mapping from a peptide sequence to a property of interest in order to model the quantitative ...
BIS
2008
13 years 9 months ago
2008
Abstract. A common task in business process modelling is the verification of process models regarding syntactical and structural errors. While the former might be checked with low ...
COLOGNETWENTE
2008
13 years 9 months ago
2008
Abstract. A reformulation of a mathematical program is a formulation which shares some properties with, but is in some sense better than, the original program. Reformulations are i...
CMS
2006
13 years 9 months ago
2006
Abstract. The perspective directions in evaluating network security are simulating possible malefactor's actions, building the representation of these actions as attack graphs...
ECCV
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Bundle adjustment for multi-view reconstruction is traditionally done using the Levenberg-Marquardt algorithm with a direct linear solver, which is computationally very e...