6413 search results - page 1138 / 1283 » Classes of cycle bases |
127
Voted
WOLLIC
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The λ-calculus with de Bruijn indices, called λdB, assembles each α-class of λ-terms into a unique term, using indices instead of variable names. Intersection types p...
109
Voted
WS
2010
ACM
14 years 11 months ago
2010
ACM
This paper describes DLEJena, a practical reasoner for the OWL 2 RL profile that combines the forward-chaining rule engine of Jena and the Pellet DL reasoner. This combination is...
115
click to vote
XPU
2010
Springer
14 years 11 months ago
2010
Springer
Pair Programming has often been reported to be beneficial in software projects. To better understand where these benefits come from we evaluate the aspect of intra-pair communica...
142
Voted
ACMDIS
2010
ACM
14 years 11 months ago
2010
ACM
Awareness systems are a novel class of communication systems that enable people to be conscious of each other in a peripheral way. To better understand how people experience these...
118
Voted
ASIACRYPT
2010
Springer
14 years 11 months ago
2010
Springer
Blinding is a popular and well-known countermeasure to protect public-key cryptosystems against side-channel attacks. The high level idea is to randomize an exponentiation in order...