882 search results - page 98 / 177 » On self-embeddings of computable linear orderings |
JGO
2010
14 years 4 months ago
2010
The best known method to find exact or at least -approximate solutions to polynomial programming problems is the spatial Branch-and-Bound algorithm, which rests on computing lower...
120
click to vote
SIAMREV
2010
14 years 4 months ago
2010
The newly emerging field of Network Science deals with the tasks of modelling, comparing and summarizing large data sets that describe complex interactions. Because pairwise affin...
EMSOFT
2006
Springer
15 years 1 months ago
2006
Springer
Bridging the gap between model-based design and platformbased implementation is one of the critical challenges for embedded software systems. In the context of embedded control sy...
ICIP
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes a computational method for estimating the body reflectance function of color surfaces. The experimental apparatus consists of a vision system having seven spe...
181
click to vote
POPL
2008
ACM
15 years 10 months ago
2008
ACM
We propose a characterization of PSPACE by means of a type assignment for an extension of lambda calculus with a conditional construction. The type assignment STAB is an extension...