1280 search results - page 133 / 256 » Soft Typing with Conditional Types |
125
Voted
ORDER
2002
15 years 2 months ago
2002
We determine the order dimension of the strong Bruhat order on finite Coxeter groups of types A, B and H. The order dimension is determined using a generalization of a theorem of D...
135
Voted
TSMC
2002
15 years 2 months ago
2002
Abstract--This paper presents a new nonlinear adaptive tracking controller for a class of general time-variant nonlinear systems. The control system consists of an inner loop and a...
119
Voted
IGPL
2010
15 years 1 months ago
2010
In this paper we present a new model for the requirements analysis of a system. We offer a conceptual model defined following a visual modeling language, called dependence network...
117
Voted
SCHOLARPEDIA
2008
15 years 1 months ago
2008
ABSTRACT. We discuss a special eigenstate of the quantized periodic CalogeroMoser system associated to a root system. This state has the property that its eigenfunctions, when rega...
114
Voted
FSTTCS
2010
Springer
15 years 16 days ago
2010
Springer
Abstract. This paper proposes a global escape mechanism which can handle unexpected or unwanted conditions changing the default execution of distributed communicational flows, pres...