Sciweavers

3729 search results - page 354 / 746
» On Formal Modeling of Agent Computations
Sort
View
EDOC
2009
IEEE
15 years 10 months ago
Process SEER: A Tool for Semantic Effect Annotation of Business Process Models
A key challenge in devising solutions to a range of problems associated with business process management: process life cycle management, compliance management, enterprise process ...
Kerry Hinge, Aditya K. Ghose, George Koliadis
CHI
2005
ACM
16 years 7 months ago
NEmESys: neural emotion eliciting system
This paper describes the development of a new model of agent emotion elicitation called Nemesys. It enhances interfaces with emotional and social information. Nemesys is based on ...
Manfred Eckschlager, Regina Bernhaupt, Manfred Tsc...
153
Voted
COLING
2000
15 years 8 months ago
A Statistical Theory of Dependency Syntax
A generative statistical model of dependency syntax is proposed based on 'l'csniSre's classical theory. It provides a stochastic formalization of the original model...
Christer Samuelsson
EDOC
2004
IEEE
15 years 10 months ago
A Logical Viewpoint on Architectures
In this paper we introduce a logical viewpoint on architectures. The logical viewpoint is based on the distinction between symbolic and semantic models of architectures. The core ...
Frank S. de Boer, Marcello M. Bonsangue, Joost Jac...
GG
2008
Springer
15 years 7 months ago
Adaptive Star Grammars for Graph Models
Abstract. Adaptive star grammars generalize well-known graph grammar formalisms based on hyperedge and node replacement while retaining, e.g., parseability and the commutativity an...
Frank Drewes, Berthold Hoffmann, Mark Minas