20638 search results - page 3946 / 4128 » Computer Networks |
104
click to vote
ISCI
2011
14 years 9 months ago
2011
We define an interconnection network AQn,k which we call the augmented kary n-cube by extending a k-ary n-cube in a manner analogous to the existing extension of an n-dimensional...
171
click to vote
BICA
2010
14 years 9 months ago
2010
We present a docking study for Herbal, a high-level behavioral representation language based on the problem space computational model. This study docks an ACT-R model created with ...
101
click to vote
EJWCN
2010
14 years 9 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
117
click to vote
ICASSP
2010
IEEE
14 years 9 months ago
2010
IEEE
This paper considers the estimation of shooter locations using a sensor network where each sensor measures the time difference between receptions of a firearm's muzzle blast ...
161
click to vote
IHI
2010
14 years 9 months ago
2010
The rising cost of healthcare is one of the major concerns faced by the nation. One way to lower healthcare costs and provide better quality care to patients is through the effect...