3256 search results - page 617 / 652 » Applications of Formal Methods to System Design and Verifica... |
110
click to vote
ICCV
2007
IEEE
15 years 4 months ago
2007
IEEE
We present the architecture and algorithm design of a visual motion based perceptual interface for mobile devices with cameras. In addition to motion vector, we use the term “vis...
MUE
2007
IEEE
15 years 4 months ago
2007
IEEE
Peer-to-Peer (P2P) system can support service for lots of end users with little hardware investment, which suits for the efforts to lower down the service cost for Multiplayer Onl...
COMSWARE
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— In the last few years, WLAN has seen immense growth and it will continue this trend due to the fact that it provides convenient connectivity as well as high speed links...
ICPPW
2006
IEEE
15 years 3 months ago
2006
IEEE
Embedded computing architectures can be designed to meet a variety of application specific requirements. However, optimized hardware can require compiler support to realize the po...
MM
2006
ACM
15 years 3 months ago
2006
ACM
Many recent studies perform annotation of paintings based on brushwork. In these studies the brushwork is modeled indirectly as part of the annotation of high-level artistic conce...