1548 search results - page 195 / 310 » Semantics and Extensions of WS-Agreement |
158
click to vote
STACS
2010
Springer
16 years 22 days ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
168
click to vote
ICASSP
2009
IEEE
16 years 15 days ago
2009
IEEE
This paper investigates the automatic recognition of emotion from spoken words by vector space modeling vs. string kernels which have not been investigated in this respect, yet. A...
150
click to vote
CALCO
2009
Springer
16 years 10 days ago
2009
Springer
The exactness properties of coproducts in extensive categories and pushouts along monos in adhesive categories have found various applications in theoretical computer science, e.g....
164
click to vote
ECOWS
2009
Springer
16 years 10 days ago
2009
Springer
SPARQL is the standard query language for RDF, but currently is a read-only language defined in a way similar to SQL: Queries can be formulated, are submitted to a single process...
189
click to vote
ECSQARU
2009
Springer
16 years 10 days ago
2009
Springer
Abstract. We consider a realization of Reiter-style default logic on top of description logic knowledge bases (DL-KBs). To this end, we present elegant transformations from default...