Sciweavers

3591 search results - page 16 / 719
» Typing linear constraints
Sort
View
111
Voted
GLOBECOM
2010
IEEE
14 years 10 months ago
Throughput and Energy Efficiency of Opportunistic Routing with Type-I HARQ in Linear Multihop Networks
Opportunistic routing is a well-known technique that exploits the broadcast nature of wireless transmissions and path diversity to form the route in an adaptive manner based on cur...
Davide Chiarotto, Osvaldo Simeone, Michele Zorzi
103
Voted
IDEAL
2010
Springer
14 years 11 months ago
Typed Linear Chain Conditional Random Fields and Their Application to Intrusion Detection
Intrusion detection in computer networks faces the problem of a large number of both false alarms and unrecognized attacks. To improve the precision of detection, various machine l...
Carsten Elfers, Mirko Horstmann, Karsten Sohr, Ott...
84
Voted
ICFP
2001
ACM
16 years 19 days ago
On Regions and Linear Types
David Walker, Kevin Watkins
79
Voted
CONCUR
2010
Springer
15 years 1 months ago
Session Types as Intuitionistic Linear Propositions
Luís Caires, Frank Pfenning
46
Voted
APAL
2005
76views more  APAL 2005»
15 years 18 days ago
Linear realizability and full completeness for typed lambda-calculi
Samson Abramsky, Marina Lenisa