1593 search results - page 39 / 319 » A visual programming system for automated problem solving |
122
Voted
CADE
2007
Springer
16 years 3 months ago
2007
Springer
MaLARea (a Machine Learner for Automated Reasoning) is a simple metasystem iteratively combining deductive Automated Reasoning tools (now the E and the SPASS ATP systems) with a m...
114
Voted
VL
2005
IEEE
15 years 9 months ago
2005
IEEE
Previous research has revealed gender differences that impact females’ willingness to adopt software features in end users’ programming environments. Since these features have...
139
click to vote
CADE
2004
Springer
16 years 3 months ago
2004
Springer
Abstract. We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof ...
125
Voted
CCE
2006
15 years 3 months ago
2006
The class of stochastic nonlinear programming (SNLP) problems is important in optimization due to the presence of nonlinearity and uncertainty in many applications, including thos...
122
Voted
NA
2010
15 years 1 months ago
2010
In the past decade or so, semi-definite programming (SDP) has emerged as a powerful tool capable of handling a remarkably wide range of problems. This article describes an innovat...