7529 search results - page 150 / 1506 » The Modula-3 Type System |
158
click to vote
HICSS
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper, we investigate the e ectiveness of applying type-II hybrid ARQ schemes to the transmission of MPEG-2 encoded video streams over xed wireless links in broadband xed ...
143
Voted
TACAS
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. We have argued previously that the e ectiveness of a veri cation system derives not only from the power of its individual features for expression and deduction, but from ...
150
click to vote
LFCS
1994
Springer
15 years 9 months ago
1994
Springer
In a previous paper [4], we introduced a non-deterministic -calculus (-LK) whose type system corresponds exactly to Gentzen's cut-free LK [9]. This calculus, however, cannot b...
144
click to vote
COSIT
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Landmarks are crucial for human wayfinding. Their integration in wayfinding assistance systems is essential for generating cognitively ergonomic route directions. I prese...
101
click to vote
COLING
2008
15 years 6 months ago
2008
Classifying what-type questions into proper semantic categories is found more challenging than classifying other types in question answering systems. In this paper, we propose to ...