5186 search results - page 787 / 1038 » Embedded Systems |
161
click to vote
CVPR
1999
IEEE
15 years 10 months ago
1999
IEEE
We formulate stereo matching as an extremal surface extraction problem. This is made possible by embedding the disparity surface inside a volume where the surface is composed of v...
161
click to vote
TPHOL
1999
IEEE
15 years 10 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
178
click to vote
ICNP
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper, we propose a novel MAC protocol, called Quality-ofservice Guarantee Multiple Access (QGMA), in wireless local area networks to support the quality of service requir...
155
click to vote
KES
1998
Springer
15 years 10 months ago
1998
Springer
Several intelligent features are embedded in the Growing Competitive Linear Local Mapping Neural Network. They result in an adaptive, fast-learning, very efficient control scheme, ...
203
click to vote
TACAS
1998
Springer
15 years 10 months ago
1998
Springer
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL...