15777 search results - page 2951 / 3156 » The Reformulation-Optimization Software Engine |
172
Voted
COMSIS
2010
15 years 27 days ago
2010
Abstract. In this paper we present DOMMLite - an extensible domainspecific language (DSL) for static structure definition of databaseoriented applications. The model-driven enginee...
187
Voted
ECEASST
2010
15 years 27 days ago
2010
Abstract: Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. Th...
159
Voted
ENDM
2010
15 years 27 days ago
2010
In the past decade, significant progress has been achieved in developing generic primal heuristics that made their way into commercial mixed integer programming (MIP) solver. Exte...
131
Voted
ENTCS
2010
15 years 27 days ago
2010
Our goal is to provide a top-down approach to biomolecular computation. In spite of widespread discussion about connections between biology and computation, one question seems not...
137
Voted
ENTCS
2010
15 years 27 days ago
2010
Molecular biological models usually suffer from a dramatic combinatorial blow up. Indeed, proteins form complexes and can modify each others, which leads to the formation of a hug...