1392 search results - page 191 / 279 » Staging generic programming |
CSJM
2006
13 years 9 months ago
2006
Traveling Salesman Problem (TSP) is a generic name that includes diverse practical models. Motivated by applications, a new model of TSP is examined -- a synthesis of classical TS...
ENTCS
2006
13 years 9 months ago
2006
We develop a domain theory for treating recursive types with respect to contextual equivalence. The principal approach taken here deviates from classical domain theory in that we ...
JSS
2000
13 years 8 months ago
2000
The black-box reuse of library classes in the construction of an object-oriented (OO) application is dicult: the principle of information hiding may be violated if classes must kn...
JSAT
2010
13 years 3 months ago
2010
Sat4j is a mature, open source library of SAT-based solvers in Java. It provides a modular SAT solver architecture designed to work with generic constraints. Such architecture is ...
ICASSP
2011
IEEE
13 years 24 days ago
2011
IEEE
—This paper deals with optimized training sequences to estimate multiple-input multiple-output orthogonal frequencydivision multiplexing (MIMO-OFDM) channel states in the presenc...