Sciweavers

18429 search results - page 391 / 3686
» Typing dynamic typing
Sort
View
MSCS
2007
85views more  MSCS 2007»
15 years 7 months ago
Constructive analysis, types and exact real numbers
Herman Geuvers, Milad Niqui, Bas Spitters, Freek W...
RC
2007
78views more  RC 2007»
15 years 7 months ago
Monte-Carlo-Type Techniques for Processing Interval Uncertainty, and Their Potential Engineering Applications
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...
RC
2007
66views more  RC 2007»
15 years 7 months ago
Guaranteeing the Homotopy Type of a Set Defined by Non-Linear Inequalities
Nicolas Delanoue, Luc Jaulin, Bertrand Cottenceau