540 search results - page 67 / 108 » Mathematical programming based debugging |
MKM
2005
Springer
15 years 3 months ago
2005
Springer
Recently, significant advances have been made in formalised mathematical texts for large, demanding proofs. But although such large developments are possible, they still take an i...
ICSE
2010
IEEE-ACM
15 years 1 months ago
2010
IEEE-ACM
Today’s integrated development environments (IDEs) are hampered by their dependence on files and file-based editing. We propose a novel user interface that is based on collectio...
CCR
2004
14 years 9 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
BMCBI
2010
14 years 10 months ago
2010
Background: CellML is an XML based language for representing mathematical models, in a machine-independent form which is suitable for their exchange between different authors, and...
101
click to vote
AAAI
2000
14 years 11 months ago
2000
We propose a novel algorithmic framework to solve an integrated planning and scheduling problem in supply chain management. This problem involves the integration of an inventory m...