13383 search results - page 2300 / 2677 » Abstractions from proofs |
166
click to vote
TMC
2011
14 years 11 months ago
2011
—Vehicular networks (VANETs) can be used to improve transportation security, reliability, and management. This paper investigates security aspects of VANETs within a game-theoret...
137
click to vote
TMI
2011
14 years 11 months ago
2011
Abstract—Backbone anatomical structure detection and labeling is a necessary step for various analysis tasks of the vertebral column. Appearance, shape and geometry measurements ...
131
click to vote
TSP
2011
14 years 11 months ago
2011
Abstract—Modified periodogram approaches are nonparametric power spectral density (PSD) estimators. Here, we present a method for estimating the mean-square error (MSE) of these...
159
click to vote
TSP
2011
14 years 11 months ago
2011
Abstract—In multinode cooperative communications, simultaneous transmissions from two or more nodes are challenging due to its asynchronous nature. In addition, channel estimatio...
122
click to vote
TVCG
2011
14 years 11 months ago
2011
—Artists use different means of stylization to control the focus on different objects in the scene. This allows them to portray complex meaning and achieve certain artistic effec...