8828 search results - page 1203 / 1766 » Formal methods in practice |
141
click to vote
TIT
1998
15 years 7 months ago
1998
—An overview of the many practical applications of channel coding theory in the past 50 years is presented. The following application areas are included: deep space communication...
185
click to vote
SIGPRO
2002
15 years 7 months ago
2002
The three-dimensional (3-D) SPIHT coder is a scalable or embedded coder that has proved its efficiency and its real-time capability in compression of video. A forward-error-correc...
194
click to vote
TCAD
2002
15 years 6 months ago
2002
Interconnect optimization for VLSI circuits has received wide attention. To model routing surfaces, multiple circuit layers are freabstracted as a single rectilinear plane, ignori...
172
click to vote
TRANSCI
2002
15 years 6 months ago
2002
Vendor managed inventory replenishment is a business practice in which vendors monitor their customers' inventories, and decide when and how much inventory should be replenis...
204
Voted
TROB
2002
15 years 6 months ago
2002
Abstract-- This paper presents a framework for visual servoing that guarantees convergence to a visible goal from almost every initially visible configuration while maintaining ful...