726 search results - page 51 / 146 » A Framework for Constraint Programming Based Column Generati... |
ICIAP
1999
ACM
13 years 12 months ago
1999
ACM
An algorithm to generate background sprite images from multiview image sequences is presented. A dynamic programming algorithm, using a multiview matching cost as well as pure geo...
RSP
2003
IEEE
14 years 28 days ago
2003
IEEE
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
FM
2008
Springer
13 years 9 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
IMCSIT
2010
13 years 5 months ago
2010
This paper describes an application for computing first-order semantic representations of English texts. It is based on a combination of hybrid shallow-deep components arranged wit...
TACAS
2007
Springer
14 years 1 months ago
2007
Springer
We present JPF–SE, an extension to the Java PathFinder Model Checking framework (JPF) that enables the symbolic execution of Java programs. JPF–SE uses JPF to generate and expl...