5615 search results - page 783 / 1123 » Active Learner Modelling |
175
click to vote
CSFW
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
194
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— A novel cooperative multiple access protocol for packet speech communications is proposed. Cooperation is achieved through a relay node and by exploiting the silence periods du...
198
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
—Recharging the batteries of a moribund sensor deployed as part of a wireless sensor network is often infeasible due to logistical considerations. With the purpose of prolonging ...
145
Voted
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Target tracking is a canonical issue in sensor networks research. However, tracking security has gained little or no attention. Once a sensor node is compromised, it wi...
141
click to vote
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
The expression levels of rod opsin and glial fibrillary acidic protein (GFAP) capture important structural changes in the retina during injury and recovery. Quantitatively measur...