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

13 years 9 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

14 years 26 days 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

13 years 7 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

14 years 1 months ago