1849 search results - page 267 / 370 » Intelligent Expressions of Emotions |
136
click to vote
CSL
2009
Springer
16 years 23 days ago
2009
Springer
We investigate the relationship between two independently developed termination techniques for rst and higher-order rewrite systems. On the one hand, sized-types based termination...
205
click to vote
DSOM
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. We propose a novel hybrid planning approach for the automated generation of IT change plans. The algorithm addresses an abstraction mismatch between refinement of tasks ...
156
click to vote
ECSQARU
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing con...
161
click to vote
TARK
2009
Springer
16 years 22 days ago
2009
Springer
We introduce a logic designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent prefere...
162
click to vote
SECURWARE
2008
IEEE
16 years 18 days ago
2008
IEEE
Abstract. This paper presents our pattern-based approach to run-time requirements monitoring and threat detection being developed as part of an approach to build frameworks support...