Sciweavers

3591 search results - page 16 / 719
» Typing linear constraints
Sort
View
GLOBECOM
2010
IEEE
13 years 8 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
IDEAL
2010
Springer
13 years 9 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...
ICFP
2001
ACM
14 years 10 months ago
On Regions and Linear Types
David Walker, Kevin Watkins