Searching for "Types as Intervals." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

388 documents found, showing 1 through 10. Next 10 →

Undecidability and 1-types in intervals of the computably enumerable degrees
by Klaus Ambos-spies, Denis R. Hirschfeldt, Richard A. Shore — 2000 — Ann. Pure Appl. Logic
…Undecidability and 1-types in Intervals of the Computably Enumerable Degrees ∗ Klaus Ambos…
Cited by 1 (1 self) – Add To MetaCart

INTERVAL ARITHMETIC: A Fortran 90 Module for an Interval Data Type
by Baker Kearfott — 1996 — ACM Trans. Math. Software
…INTERVAL ARITHMETIC: A Fortran 90 Module for an Interval Data Type R. BAKER KEARFOTT Department…
Cited by 3 (0 self) – Add To MetaCart

ParTy --- A Parallel-Types Analyser
by Lu'is Fernando Pias, O Pias De Castro
…'s Abstract Machine. The proposed type domain introduces a novel notion of type interval, which provides a…
Add To MetaCart

A new inclusion function for optimization: Kite – the one dimensional case
by Tamás Vinkó — 2003 — Journal of Global Optimization
…-andbound type interval global optimization using at least gradient information. The basic idea comes from…
Cited by 2 (1 self) – Add To MetaCart

Towards Good C++ Interval Libraries: Tricks And Traits
by Frédéric Goualard — 2000 — THE 4TH ASIAN SYMPOSIUM ON COMPUTER MATHEMATICS. CHIANG MAI
…, and performing non-linear global optimization, interval arithmetic is not yet a first-class type in any computer…
Cited by 1 (1 self) – Add To MetaCart

A Numerical Study on a New Heuristical Decision Index for Interval Global Optimization
by Mihály Csaba Markot, Tibor Csendes, José Fernández Hernández, Leocadio González, Leocadio Gonz'alez Casado
…A Numerical Study on a New Heuristical Decision Index for Interval Global Optimization Mih…
Add To MetaCart

An Application of a Theorem Prover
by Ov Er
…An Application of a Theorem Prover Abstract This work uses the specification of the type interval…
Add To MetaCart

On Interval Routing Schemes and Treewidth
by Hans L. Bodlaender, Jan Van Leeuwen, Richard Tan, Dimitrios M. Thilikos — 1997 — and treewidth,inProceedings 21thInternationalWorkshoponGraphTheoreticConceptsinComputerScienceWG'95,M.Nagl,ed.,SpringerVerlag,LectureNotesin ComputerScience,vol.1017,1995,pp.181{186
…, and treewidth at most 2k + 3 if they are planar. Similar results are shown for other types of Interval Routing…
Cited by 16 (8 self) – Add To MetaCart

A new inclusion function for optimization: Kite -- the one-dimensional case
by Tamas Vinko, Jean-louis Lagouanelle, Tibor Csendes — 1991 — International Journal of Bifurcation and Chaos
… function is presented for branch-andbound type interval global optimization using at least gradient…
Cited by 1 (1 self) – Add To MetaCart

On interval routing schemes
by Hans L. Bodlaender, Jan Van Leeuwen, Richard Tan, Dimitrios M. Thilikos — and treewidth,inProceedings 21thInternationalWorkshoponGraphTheoreticConceptsinComputerScienceWG'95,M.Nagl,ed.,SpringerVerlag,LectureNotesin ComputerScience,vol.1017,1995,pp.181{186
… if they are planar. Similar results are shown for other types of Interval Routing Schemes. 1 Introduction A common…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB