Sciweavers

1050 search results - page 34 / 210
» The problem with rights expression languages
Sort
View
DAGSTUHL
2007
14 years 11 months ago
Norms of Conversation in a Framework for Agent Communication Languages
Abstract. In open and heterogeneous environments offered by the Internet, where agents are designed by different vendors, the development of standards for agent communication nee...
Rodrigo Agerri
54
Voted
ICALP
2010
Springer
15 years 2 months ago
Preprocessing of Min Ones Problems: A Dichotomy
Min Ones Constraint Satisfaction Problems, i.e., the task of finding a satisfying assignment with at most k true variables (Min Ones SAT(Γ)), can express a number of interesting ...
Stefan Kratsch, Magnus Wahlström
GW
2005
Springer
103views Biometrics» more  GW 2005»
15 years 3 months ago
Implementing Expressive Gesture Synthesis for Embodied Conversational Agents
We aim at creating an expressive Embodied Conversational Agent (ECA) and address the problem of synthesizing expressive agent gestures. In our previous work, we have described the ...
Björn Hartmann, Maurizio Mancini, Catherine P...
ICDE
2005
IEEE
101views Database» more  ICDE 2005»
15 years 3 months ago
Optimization of Nested XQuery Expressions with Orderby Clauses
— XQuery, the defacto XML query language, is a functional language with operational semantics, which precludes the direct application of classical query optimization techniques. ...
Song Wang, Elke A. Rundensteiner, Murali Mani
ICALP
2004
Springer
15 years 3 months ago
On the Expressive Power of Monadic Least Fixed Point Logic
Monadic least fixed point logic MLFP is a natural logic whose expressiveness lies between that of first-order logic FO and monadic second-order logic MSO. In this paper we take ...
Nicole Schweikardt