Sciweavers

2125 search results - page 214 / 425
» Points with Type-2 Operations
Sort
View
JFP
2006
88views more  JFP 2006»
15 years 4 months ago
Type-based confinement
Confinement properties impose a structure on object graphs which can be used to enforce encapsulation properties. From a practical point of view, encapsulation is essential for bu...
Tian Zhao, Jens Palsberg, Jan Vitek
ENGL
2007
108views more  ENGL 2007»
15 years 4 months ago
An Adaptive Controller for Multimodal Systems Based on Fuzzy Reference Model Generator
— This paper presents a novel adaptive controller for multimodal systems based on Fuzzy Reference Model Generator (FRMG). The proposed scheme consists of a fuzzy logic switching ...
Sukumar Kamalasadan
MP
2008
129views more  MP 2008»
15 years 4 months ago
Corrector-predictor methods for monotone linear complementarity problems in a wide neighborhood of the central path
Abstract. Two corrector-predictor interior point algorithms are proposed for solving monotone linear complementarity problems. The algorithms produce a sequence of iterates in the ...
Florian A. Potra
MST
2008
150views more  MST 2008»
15 years 4 months ago
Coinduction for Exact Real Number Computation
This paper studies coinductive representations of real numbers by signed digit streams and fast Cauchy sequences. It is shown how the associated coinductive principle can be used ...
Ulrich Berger, Tie Hou
CCR
2005
88views more  CCR 2005»
15 years 3 months ago
DIMES: let the internet measure itself
Today's Internet maps, which are all collected from a small number of vantage points, are falling short of being accurate. We suggest here a paradigm shift for this task. DIM...
Yuval Shavitt, Eran Shir