12981 search results - page 2282 / 2597 » Model Checking (Abstract) |
178
click to vote
PATMOS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Modern embedded devices (e.g. PDAs, mobile phones) are now incorporating Java as a very popular implementation language in their designs. These new embedded systems inclu...
181
click to vote
PCI
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The advances in wireless communications along with the exponential growth of transistors per integrated circuit lead to a rapid evolution of Wireless Sensor Devices (WSDs...
149
click to vote
PCM
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This paper presents a prototype system, which synthesizes entertainment-oriented cartoon face and translates text message to multimedia animation in mobile phone. While a...
211
click to vote
PCM
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Entropy coding is one of the most important techniques in video codec. Two main criteria to assess an entropy coder are coding efficiency and friendly realization charact...
202
click to vote
PCM
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Image classification could be treated as an effective solution to enable keyword-based semantic image retrieval. In this paper, we propose a novel image classification...