Sciweavers

4008 search results - page 97 / 802
» An expressive language of signatures
Sort
View
CONCUR
2007
Springer
16 years 14 days ago
Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness
Abstract. We consider linear time temporal logic enriched with semiextended regular expressions through various operators that have been proposed in the literature, in particular i...
Martin Lange
MIRAGE
2007
Springer
16 years 13 days ago
Copying Behaviour of Expressive Motion
Abstract. In this paper we present an agent that can analyse certain human fullbody movements in order to respond in an expressive manner with copying behaviour. Our work focuses o...
Maurizio Mancini, Ginevra Castellano, Elisabetta B...
IJCNLP
2004
Springer
15 years 11 months ago
Collecting Evaluative Expressions for Opinion Extraction
Automatic extraction of human opinions from Web documents has been receiving increasing interest. To automate the process of opinion extraction, having a collection of evaluative ...
Nozomi Kobayashi, Kentaro Inui, Yuji Matsumoto, Ke...
DBPL
1993
Springer
104views Database» more  DBPL 1993»
15 years 10 months ago
Extensible Grammars for Language Specialization
A frequent dilemma in the design of a database programming language is the choice between a language with a rich set of tailored notations for schema definitions, query expression...
Luca Cardelli, Florian Matthes, Martín Abad...
ICDE
2006
IEEE
189views Database» more  ICDE 2006»
16 years 7 months ago
Algebraic Optimization of Nested XPath Expressions
The XPath language incorporates powerful primitives for formulating queries containing nested subexpressions which are existentially or universally quantified. However, even the b...
Matthias Brantner, Carl-Christian Kanne, Guido Moe...