Search Sciweavers | Sciweavers

777 search results - page 5 / 156

» Model Checking with Formula-Dependent Abstract Models

click to vote

ATVA
2008
Springer

99views Hardware» more ATVA 2008»

Model Checking Recursive Programs with Exact Predicate Abstraction

14 years 11 months ago

Download www.cs.toronto.edu

e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...

Arie Gurfinkel, Ou Wei, Marsha Chechik

claim paper

Read More »

click to vote

LPAR
2005
Springer

112views Automated Reasoning» more LPAR 2005»

Model Checking Abstract State Machines with Answer Set Programming

15 years 3 months ago

Download www.cs.sfu.ca

ECKING ABSTRACT STATE MACHINES WITH ANSWER SET PROGRAMMING by Calvin Kai Fan Tang B.Sc., Simon Fraser University, 2003 a thesis submitted in partial fulfillment of the requirements...

Calvin Kai Fan Tang, Eugenia Ternovska

claim paper

Read More »

click to vote

TNN
2008

112views more TNN 2008»

Multilayer Perceptrons: Approximation Order and Necessary Number of Hidden Units

14 years 9 months ago

Download www.tu-ilmenau.de

Abstract--This paper considers the approximation of sufficiently smooth multivariable functions with a multilayer perceptron (MLP). For a given approximation order explicit formula...

S. Trenn

claim paper

Read More »

click to vote

FM
2009
Springer

90views Formal Methods» more FM 2009»

Fair Model Checking with Process Counter Abstraction

15 years 4 months ago