5634 search results - page 63 / 1127 » About Abstract Classes |
114
Voted
MFCS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We recently introduced an extensional model of the pure λcalculus living in a cartesian closed category of sets and relations. In this paper, we provide sufficient condi...
130
Voted
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Triangular norms or t-norms, in short, and automorphisms are very useful to fuzzy logics in the narrow sense. However, these notions are usually limited to the set [0, ...
127
Voted
CSL
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. It has been proved by Niwi´nski and Walukiewicz that a deterministic tree language is either Π1 1 -complete or it is on the level Π0 3 of the Borel hierarchy, and that...
161
Voted
ERSHOV
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. The object-oriented programming language design space consists of class-based and prototype-based languages. Both language families have been shown to posses many advanta...
122
Voted
AUTOMATICA
2005
15 years 3 months ago
2005
Trajectory generation for nonlinear control systems is an important and difficult problem. In this paper, we provide a constructive method for hierarchical trajectory refinement. ...