7529 search results - page 180 / 1506 » The Modula-3 Type System |
120
Voted
ACL
2009
15 years 2 months ago
2009
Supervised sequence-labeling systems in natural language processing often suffer from data sparsity because they use word types as features in their prediction tasks. Consequently...
138
click to vote
ICC
2009
IEEE
15 years 2 months ago
2009
IEEE
In this paper we describe a model for calculating the aggregate interference encountered by primary receivers in the presence of randomly placed cognitive radios (CRs). We show tha...
146
click to vote
MCSS
2002
Springer
15 years 4 months ago
2002
Springer
In this paper, we study the observability properties of nonlinear discrete time systems. Two types of contributions are given. First, we present observability criteria in terms of...
123
click to vote
ENTCS
2008
15 years 5 months ago
2008
traction Kinds and Higher-Order Coercions Andreas Rossberg1 Max Planck Institute for Software Systems Saarbr
161
Voted
MSCS
2000
15 years 4 months ago
2000
This paper introduces a Hilbert system for lambda calculus called sequent combinators. Sequent combinators address many of the problems of Hilbert systems, which have led to the m...