2702 search results - page 235 / 541 » Practically Applicable Formal Methods |
106
Voted
TCOM
2008
15 years 2 months ago
2008
This letter proposes a novel Walsh coded training signal design and decoding method to estimate the channel response in MIMO-OFDM systems. The Walsh coded training signals, designe...
120
click to vote
ICIP
2009
IEEE
16 years 3 months ago
2009
IEEE
Face recognition has many important practical applications, like surveillance and access control. It is concerned with the problem of correctly identifying face images and assigni...
JSC
2007
15 years 2 months ago
2007
We present a method based on extended linear real quantifier elimination for multiple object semilinear motion planning, i.e. finding collision-free trajectories for several rob...
108
click to vote
DEXA
1998
Springer
15 years 6 months ago
1998
Springer
Prototype databases are needed in any information system development process to support data-intensive applications development. It is common practice to populate these databases u...
130
click to vote
SAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...