3865 search results - page 261 / 773 » From Bidirectionality to Alternation |
153
click to vote
SAS
2007
Springer
16 years 22 days ago
2007
Springer
Type constraints express subtype-relationships between the types of program expressions that are required for type-correctness, and were originally proposed as a convenient framewo...
161
click to vote
SSC
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The filter generator consists of a linear feedback shift register (LFSR) and a Boolean filtering function that combines some bits from the shift register to create a ke...
172
click to vote
TLCA
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
147
click to vote
ASAP
2006
IEEE
16 years 20 days ago
2006
IEEE
Current microprocessor instruction set architectures are word oriented, with some subword support. Many important applications, however, can realize substantial performance benefi...
185
click to vote
FGR
2006
IEEE
16 years 20 days ago
2006
IEEE
Motivated by a recently proposed biologically-inspired face recognition approach, psychophysical experiments have been carried out. We measured recognition performance of polar fr...