1205 search results - page 102 / 241 » Program Extraction from Large Proof Developments |
114
click to vote
APPROX
2005
Springer
15 years 7 months ago
2005
Springer
A large class of stochastic optimization problems can be modeled as minimizing an objective function f that depends on a choice of a vector x ∈ X, as well as on a random external...
119
click to vote
SIGSOFT
2008
ACM
16 years 2 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
136
click to vote
ACSAC
2004
IEEE
15 years 5 months ago
2004
IEEE
One of the biggest obstacles faced by user command based anomaly detection techniques is the paucity of data. Gathering command data is a slow process often spanning months or yea...
115
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: In the area of protein structure prediction, recently a lot of effort has gone into the development of Model Quality Assessment Programs (MQAPs). MQAPs distinguish hig...
143
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...