1937 search results - page 281 / 388 » Starting B Specifications from Use Cases |
154
click to vote
TMI
2008
15 years 6 months ago
2008
Abstract--We present a new tensor-based morphometric framework that quantifies cortical shape variations using a local area element. The local area element is computed from the Rie...
185
click to vote
HPDC
2010
IEEE
15 years 7 months ago
2010
IEEE
This paper proposes a cache hierarchy that enables Web search engines to efficiently process user queries. The different caches in the hierarchy are used to store pieces of data w...
161
click to vote
CGF
2008
15 years 6 months ago
2008
The accurate generation of soft shadows is a particularly computationally intensive task. In order to reduce rendering time, most real-time and offline applications decorrelate th...
136
click to vote
ENTCS
2006
15 years 6 months ago
2006
The standard translation of a Bounded Model Checking (BMC) instance into a satisfiability problem, (a.k.a SAT), might produce misleading results in the case when the model under v...
204
click to vote
JSAC
2008
15 years 6 months ago
2008
Reliable transmission is a challenging task over wireless LANs since wireless links are known to be susceptible to errors. Although the current IEEE802.11 standard ARQ error contro...