508 search results - page 50 / 102 » A logical account of pspace |
103
click to vote
CLIMA
2004
15 years 3 months ago
2004
Abstract. We provide a formal characterization of a notion of contextual taxonomy, that is to say, a taxonomy holding only with respect to a specific context. To this aim, a new pr...
112
click to vote
ANLP
2000
15 years 3 months ago
2000
The process of documenting designs is tedious and often error-prone. We discuss a system that automatically generates documentation for the single step transition behavior of Stat...
107
click to vote
ACS
2008
15 years 2 months ago
2008
Abstract. We define an out-degree for F-coalgebras and show that the coalgebras of outdegree at most form a covariety. As a subcategory of all Fcoalgebras, this class has a termin...
AUTOMATICA
2007
15 years 2 months ago
2007
This paper presents a new supervisory control scheme, which is based on a control-relevant switching logic. Unlike most of the existing switching methods considering only estimato...
120
click to vote
EUSFLAT
2009
14 years 11 months ago
2009
We consider some existing similarity measures for Atanassov's intuitionistic fuzzy sets (A-IFSs, for short). We show that neither similarity measures treating an A-IF as a sim...