Sciweavers

857 search results - page 110 / 172
» Compositional Semantics in Verbmobil
Sort
View
ICIP
2000
IEEE
16 years 7 months ago
Discovering Recurrent Visual Semantics in Consumer Photographs
We present techniques to semi-automatically discover Recurrent Visual Semantics (RVS) -the repetitive appearance of visually similar elements such as objects and scenes- in consum...
Alejandro Jaimes, Ana B. Benitez, Shih-Fu Chang, A...
TLDI
2009
ACM
122views Formal Methods» more  TLDI 2009»
16 years 3 months ago
Towards type-theoretic semantics for transactional concurrency
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
Aleksandar Nanevski, Paul Govereau, Greg Morrisett
AICT
2006
IEEE
113views Communications» more  AICT 2006»
16 years 6 days ago
QoS awareness support in Web-Service semantics
Web Services (WSs) are a new breed of web application that have brought out quite challenging research issues. One of these is the establishment of an interoperable semantic frame...
Dimitrios T. Tsesmetzis, Ioanna Roussaki, Ioannis ...
ESWS
2005
Springer
15 years 11 months ago
The OWL-S Editor - A Development Tool for Semantic Web Services
The power of Web Service (WS) technology lies in the fact that it establishes a common, vendor-neutral platform for integrating distributed computing applications, in intranets as ...
Daniel Elenius, Grit Denker, David Martin, Fred Gi...
MM
2004
ACM
183views Multimedia» more  MM 2004»
15 years 11 months ago
Content-based music structure analysis with applications to music semantics understanding
In this paper, we present a novel approach for music structure analysis. A new segmentation method, beat space segmentation, is proposed and used for music chord detection and voc...
Namunu Chinthaka Maddage, Changsheng Xu, Mohan S. ...