Sciweavers

3006 search results - page 131 / 602
» Overview
Sort
View
118
Voted
CIDR
2007
163views Algorithms» more  CIDR 2007»
15 years 4 months ago
Demaq: A Foundation for Declarative XML Message Processing
This paper gives an overview of Demaq, an XML message processing system operating on the foundation of transactional XML message queues. We focus on the syntax and semantics of it...
Alexander Böhm 0002, Carl-Christian Kanne, Gu...
130
Voted
CLIMA
2008
15 years 4 months ago
Easy Yet Hard: Model Checking Strategies of Agents
Abstract. I present an overview of complexity results for model checking of temporal and strategic logics. Unfortunately, it is possible to manipulate the context so that different...
Wojciech Jamroga
150
Voted
DAGSTUHL
2008
15 years 4 months ago
Dualities for Constraint Satisfaction Problems
In a nutshell, a duality for a constraint satisfaction problem equates the existence of one homomorphism to the non-existence of other homomorphisms. In this survey paper, we give ...
Andrei A. Bulatov, Andrei A. Krokhin, Benoit Laros...
ICWSM
2008
15 years 4 months ago
Computational Metaphor Identification in Communities of Blogs
This poster presents a computational analysis of conceptual metaphors in a community of political blogs. Like sentiment analysis or opinion extraction, computational metaphor iden...
Eric Baumer, Bill Tomlinson
LREC
2008
94views Education» more  LREC 2008»
15 years 4 months ago
Strengthening the Estonian Language Technology
The paper will give an overview of developments in Estonia in the field of Human Language Technologies. Despite of the fact that Estonian is one of the smallest official languages...
Einar Meister, Jaak Vilo