Sciweavers

3731 search results - page 556 / 747
» cases 2006
Sort
View
WOWMOM
2006
ACM
111views Multimedia» more  WOWMOM 2006»
16 years 14 days ago
A New MAC Scheme for Very High-Speed WLANs
We consider the medium access control (MAC) layer for very high-speed Wireless LANs, which is designed to support rich multimedia applications such as highdefinition television. ...
Tianji Li, Qiang Ni, David Malone, Douglas J. Leit...
CALCO
2005
Springer
119views Mathematics» more  CALCO 2005»
16 years 2 days ago
The Category Theoretic Solution of Recursive Program Schemes
This paper provides a general account of the notion of recursive program schemes, studying both uninterpreted and interpreted solutions. It can be regarded as the category-theoret...
Stefan Milius, Lawrence S. Moss
ICALP
2003
Springer
15 years 11 months ago
Quantitative Analysis of Probabilistic Lossy Channel Systems
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel sy...
Alexander Moshe Rabinovich
ASAP
2007
IEEE
133views Hardware» more  ASAP 2007»
15 years 10 months ago
An Efficient Hardware Support for Control Data Validation
Software-based, fine-grain control flow integrity (CFI) validation technique has been proposed to enforce control flow integrity of program execution. By validating every indirect...
Yong-Joon Park, Zhao Zhang, Gyungho Lee
3DPVT
2006
IEEE
251views Visualization» more  3DPVT 2006»
15 years 10 months ago
Line-Based Structure from Motion for Urban Environments
We present a novel method for recovering the 3D-line structure of a scene from multiple widely separated views. Traditional optimization-based approaches to line-based structure f...
Grant Schindler, Panchapagesan Krishnamurthy, Fran...