Sciweavers

2661 search results - page 377 / 533
» Model Checking Performability Properties
Sort
View
INFOCOM
2008
IEEE
14 years 4 months ago
Understanding the Capacity Region of the Greedy Maximal Scheduling Algorithm in Multi-Hop Wireless Networks
In this paper, we characterize the performance of an important class of scheduling schemes, called Greedy Maximal Scheduling (GMS), for multi-hop wireless networks. While a lower ...
Changhee Joo, Xiaojun Lin, Ness B. Shroff
DAC
2008
ACM
14 years 3 days ago
Technology exploration for graphene nanoribbon FETs
Graphene nanoribbon FETs (GNRFETs) are promising devices for beyond-CMOS nanoelectronics because of their excellent carrier transport properties and potential for large scale proc...
Mihir R. Choudhury, Youngki Yoon, Jing Guo, Kartik...
NIPS
2003
13 years 11 months ago
A Functional Architecture for Motion Pattern Processing in MSTd
Psychophysical studies suggest the existence of specialized detectors for component motion patterns (radial, circular, and spiral), that are consistent with the visual motion prop...
Scott A. Beardsley, Lucia M. Vaina
WWW
2008
ACM
14 years 11 months ago
User oriented link function classification
Currently most link-related applications treat all links in the same web page to be identical. One link-related application usually requires one certain property of hyperlinks but...
Mingliang Zhu, Weiming Hu, Ou Wu, Xi Li, Xiaoqin Z...
ICA
2007
Springer
14 years 4 months ago
Perception of Transformation-Invariance in the Visual Pathway
Abstract. Visual perception of transformation invariance, such as translation, rotation and scaling, is one of the important functions of processing visual information in the Brain...
Wenlu Yang, Liqing Zhang, Libo Ma