Search Sciweavers | Sciweavers

18429 search results - page 391 / 3686

» Typing dynamic typing

125

click to vote

MSCS
2007

85views more MSCS 2007»

Constructive analysis, types and exact real numbers

15 years 6 months ago

Download www.cs.ru.nl

Herman Geuvers, Milad Niqui, Bas Spitters, Freek W...

claim paper

Read More »

152

click to vote

MSCS
2007

62views more MSCS 2007»

On the ubiquity of certain total type structures

15 years 6 months ago

Download homepages.inf.ed.ac.uk

John Longley

claim paper

Read More »

155

Voted

RC
2007

78views more RC 2007»

Monte-Carlo-Type Techniques for Processing Interval Uncertainty, and Their Potential Engineering Applications

15 years 6 months ago

Download www.cs.utep.edu

Abstract. In engineering applications, we need to make decisions under uncertainty. Traditionally, in engineering, statistical methods are used, methods assuming that we know the p...

Vladik Kreinovich, Jan Beck, Carlos Ferregut, Arac...

claim paper

Read More »

142

click to vote

RC
2007

66views more RC 2007»

Guaranteeing the Homotopy Type of a Set Defined by Non-Linear Inequalities

15 years 6 months ago

Download www.istia.univ-angers.fr

Nicolas Delanoue, Luc Jaulin, Bertrand Cottenceau

claim paper

Read More »

134

Voted

SODA
2010
ACM

121views Algorithms» more SODA 2010»

Lower bounds for Edit Distance and Product Metrics via Poincare-Type Inequalities

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers