8828 search results - page 1157 / 1766 » Formal methods in practice |
202
click to vote
DFT
2005
IEEE
16 years 1 months ago
2005
IEEE
Sequential elements, flip-flops, latches, and memory cells, are the most vulnerable components to soft errors. Since state-of-the-art designs contain millions of bistables, it i...
208
click to vote
EEE
2005
IEEE
16 years 1 months ago
2005
IEEE
Open and fair elections are paramount to modern democracy. Although some people claim that the penciland-paper systems used in countries such as Canada and UK are still the best m...
183
click to vote
ICDAR
2005
IEEE
16 years 1 months ago
2005
IEEE
This article presents Xed, a reverse engineering tool for PDF documents, which extracts the original document layout structure. Xed mixes electronic extraction methods with state-...
186
click to vote
ICMCS
2005
IEEE
16 years 1 months ago
2005
IEEE
To recognize and understand a person’s emotion has been known as one of the most important issue in human-computer interaction. In this paper, we present a multimodal system tha...
219
Voted
ICRA
2005
IEEE
16 years 1 months ago
2005
IEEE
— Omnidirectional cameras offer a much wider field of view than the perspective ones and alleviate the problems due to occlusions. However, both types of cameras suffer from the...