3742 search results - page 547 / 749 » On the Use of Formal Techniques for Validation |
186
click to vote
IROS
2007
IEEE
16 years 25 days ago
2007
IEEE
— In an effort to ease the burden of programming motor commands for humanoid robots, a computer vision technique is developed for converting a monocular video sequence of human p...
160
click to vote
GECCO
2007
Springer
16 years 20 days ago
2007
Springer
The main motivation for using a multi–objective evolutionary algorithm for finding biclusters in gene expression data is motivated by the fact that when looking for biclusters ...
168
click to vote
VLSI
2007
Springer
16 years 19 days ago
2007
Springer
— Software simulation remains the most used method for VHDL RTL functional verification. The functional verification process essentially consists of two parts. The first one is t...
135
click to vote
ICMCS
2006
IEEE
16 years 17 days ago
2006
IEEE
Blocking artifact is the most prevailing degradation caused by block-based DCT coding techniques under low bit-rate conditions. To alleviate blockings perceptually, it is desirabl...
206
click to vote
IPPS
2006
IEEE
16 years 16 days ago
2006
IEEE
Because of the growing use of multimedia content over Internet, Content-Based Image Retrieval (CBIR) has recently received a lot of interest. While accurate search techniques base...