Sciweavers

1220 search results - page 127 / 244
» Dependent classes
Sort
View
LICS
1997
IEEE
15 years 5 months ago
Towards a Mathematical Operational Semantics
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a cohe...
Daniele Turi, Gordon D. Plotkin
106
Voted
VL
1997
IEEE
165views Visual Languages» more  VL 1997»
15 years 5 months ago
Alterable Visual Languages
The large number of programming languages in the world is a consequence of the broad spectrum of human preferences for different notational styles and semantic models, which depen...
Chris M. Holt
137
Voted
INFOCOM
1993
IEEE
15 years 4 months ago
Rate-Controlled Static-Priority Queueing
We propose a new service discipline, called the RateControlledStatic-Priority (RCSP) queueingdiscipline, that can provide throughput, delay, delay jitter, and loss free guarantees...
Hui Zhang, Domenico Ferrari
112
Voted
ECML
2007
Springer
15 years 4 months ago
Ordinal Classification with Decision Rules
We consider the problem of ordinal classification, in which a value set of the decision attribute (output, dependent variable) is finite and ordered. This problem shares some chara...
Krzysztof Dembczynski, Wojciech Kotlowski, Roman S...
113
Voted
DIAGRAMS
2010
Springer
15 years 4 months ago
Toward a Physics of Equations
Papers on diagrammatic reasoning often begin by dividing marks on paper into two basic classes: diagrams and sentences. While endorsing the perspective that a reasoning episode can...
David Landy