777 search results - page 5 / 156 » Model Checking with Formula-Dependent Abstract Models |
146
click to vote
ATVA
2008
Springer
15 years 7 months ago
2008
Springer
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...
142
Voted
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
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...
153
Voted
TNN
2008
15 years 5 months ago
2008
Abstract--This paper considers the approximation of sufficiently smooth multivariable functions with a multilayer perceptron (MLP). For a given approximation order explicit formula...
106
Voted
FM
2009
Springer
15 years 11 months ago
2009
Springer
