1849 search results - page 324 / 370 » Intelligent Expressions of Emotions |
161
click to vote
LATA
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. We consider policies that are described by regular expressions, finite automata, or formulae of linear temporal logic (LTL). Such policies are assumed to describe situat...
163
click to vote
TPHOL
2009
IEEE
16 years 17 days ago
2009
IEEE
Psi-calculi are extensions of the pi-calculus, accommodating arbitrary nominal datatypes to represent not only data but also communication channels, assertions and conditions, givi...
156
click to vote
CIKM
2009
Springer
16 years 15 days ago
2009
Springer
Sentiment analysis or opinion mining aims to use automated tools to detect subjective information such as opinions, attitudes, and feelings expressed in text. This paper proposes ...
155
click to vote
CSL
2009
Springer
16 years 15 days ago
2009
Springer
We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...
161
click to vote
CSL
2009
Springer
16 years 15 days ago
2009
Springer
Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...