1356 search results - page 227 / 272 » A variable-free dynamic semantics |
FCT
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
GPCE
2007
Springer
15 years 6 months ago
2007
Springer
Programming in an open environment remains challenging because it requires combining modularity, security, concurrency, distribution, and dynamicity. In this paper, we propose an ...
IVA
2007
Springer
15 years 6 months ago
2007
Springer
Embodied conversational agents should be able to provide feedback on what a human interlocutor is saying. We are compiling a list of facial feedback expressions that signal attenti...
117
click to vote
KI
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Markov logic, as a highly expressive representation formalism that essentially combines the semantics of probabilistic graphical models with the full power of first-orde...
104
click to vote
SERA
2007
Springer
15 years 6 months ago
2007
Springer
Component-based development has become a recognized technique for building large scale distributed applications. Although the maturity of this technique, there appears to be quite...