12981 search results - page 2282 / 2597 » Model Checking (Abstract) |
140
click to vote
PATMOS
2005
Springer
15 years 10 months 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...
146
Voted
PCI
2005
Springer
15 years 10 months 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...
117
click to vote
PCM
2005
Springer
15 years 10 months 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...
174
click to vote
PCM
2005
Springer
15 years 10 months 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...
153
Voted
PCM
2005
Springer
15 years 10 months 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...