1116 search results - page 89 / 224 » Applying Predicate Abstraction to Abstract State Machines |
113
Voted
IJCNN
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract— The generalised linear model (GLM) is the standard approach in classical statistics for regression tasks where it is appropriate to measure the data misfit using a lik...
115
click to vote
KSEM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Support Vector Machines (SVM) have been applied successfully in a wide variety of fields in the last decade. The SVM problem is formulated as a convex objective function...
ICTAC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We investigate the issue of typing confidentiality in a languagebased information-flow security approach, aiming at improving some previously proposed type systems, esp...
MATA
2005
Springer
15 years 5 months ago
2005
Springer
Widget Integration Framework (WIF) is a framework that covers diverse widgets and their interactions with higher layers above. The framework everal advantages of supporting a progr...
ACSD
2004
IEEE
15 years 3 months ago
2004
IEEE
Abstract. This paper presents a formal verification algorithm for finding errors in models of complex concurrent systems. The algorithm improves explicit guided model checking by a...