4166 search results - page 407 / 834 » Automating the constraining process |
160
Voted
TCS
2008
15 years 5 months ago
2008
This article presents formalized intuitionistic proofs for the polyhedra genus theorem, the Euler formula and a sufficient condition of planarity. They are based on a hypermap mod...
125
click to vote
TITB
2008
15 years 5 months ago
2008
Segmentation of arterial wall boundaries from intravascular images is an important problem for many applications in the study of plaque characteristics, mechanical properties of t...
157
click to vote
JCP
2007
15 years 5 months ago
2007
- The kinematic filter is a common tool in control and signal processing applications dealing with position, velocity and other kinematical variables. Usually the filter gain is gi...
141
click to vote
TSP
2008
15 years 5 months ago
2008
In a variety of signal processing and communications contexts, erasures occur inadvertently or can be intentionally introduced as part of a data reduction strategy. This paper disc...
142
click to vote
TWC
2008
15 years 5 months ago
2008
In this paper, we provide a complete study on the training based channel estimation issues for relay networks that employ the amplify-and-forward (AF) transmission scheme. We first...