9642 search results - page 335 / 1929 » Semantics in Multimedia Systems |
192
click to vote
TPHOL
2000
IEEE
15 years 11 months ago
2000
IEEE
We verify within the Coq proof assistant that ML typing is sound with respect to the dynamic semantics. We prove this property in the framework of a big step semantics and also in ...
228
click to vote
CAISE
2005
Springer
15 years 8 months ago
2005
Springer
Ontologies are becoming increasingly common in the World Wide Web as the building block for a future Semantic Web. In this Web, ontologies will be responsible for making the semant...
153
click to vote
PCM
2005
Springer
16 years 9 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...
198
click to vote
MIPS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. For video adaptation in universal multimedia access systems, video contents have to be transcoded according to the requirements of network bandwidth and the performance o...
165
Voted
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
Poor sound pick up by remote microphones in multimedia applications, conference rooms and auditoria has traditionally hampered recording and communicating among spatially-separate...