7529 search results - page 97 / 1506 » The Modula-3 Type System |
134
click to vote
CIE
2008
Springer
15 years 6 months ago
2008
Springer
Having principal typings (for short PT) is an important property of type systems. This property guarantees the possibility of type deduction which means it is possible to develop a...
133
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Propositional type theory, first studied by Henkin, is the restriction of simple type theory to a single base type that is interpreted as the set of the two truth values. We show ...
145
click to vote
HUC
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we propose a novel wearable interface called “ActiveBelt” that enables users to obtain multiple directional information with the tactile sense. Since the informat...
108
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— We characterize the stability and achievable performance of networked estimation under correlated packet losses described by the Gilbert-Elliot model. For scalar contin...
155
click to vote
ASYNC
2001
IEEE
15 years 8 months ago
2001
IEEE
This paper describes the synthesis and hardware implementation of a signal-type asynchronous data communication mechanism (ACM). Such an ACM can be used in systems where a data-dr...