6110 search results - page 1098 / 1222 » Approximate Computing |
178
click to vote
BROADNETS
2007
IEEE
16 years 18 days ago
2007
IEEE
—We consider pricing secondary access to wireless spectrum in cellular CDMA networks. We study the case for a primary license holder interested in leasing the right of providing ...
176
click to vote
ICCV
2007
IEEE
16 years 17 days ago
2007
IEEE
We propose an operational method to extract the left ventricle (LV) systole dynamics using HARmonic Phase (HARP) images extracted from tagged cardiac MR sequences. Established tec...
205
click to vote
AB
2007
Springer
16 years 14 days ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
171
click to vote
ALGOSENSORS
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. We consider the problem of counting the number of indistinguishable targets using a simple binary sensing model. Our setting includes an unknown number of point targets i...
162
click to vote
CMSB
2007
Springer
16 years 13 days ago
2007
Springer
We explore some presynaptic mechanisms of the calyx of Held synapse through a stochastic model. The model, drawn from a kinetic approach developed in literature, exploits process c...