Search Sciweavers | Sciweavers

2688 search results - page 4 / 538

» A formal semantics for P3P

click to vote

COLING
1990

78views Computational Linguistics» more COLING 1990»

An Implementation Of Formal Semantics In The Formalism Of Relational Databases

13 years 8 months ago

Download acl.ldc.upenn.edu

Claire Vanderhoeft

claim paper

Read More »

click to vote

FORTE
2009

164views Formal Methods» more FORTE 2009»

System Model-Based Definition of Modeling Language Semantics

13 years 5 months ago

Download www.se-rwth.de

Abstract. In this paper, we present an approach to define the semantics for object-oriented modeling languages. One important property of this semantics is to support underspecifie...

Hans Grönniger, Jan Oliver Ringert, Bernhard ...

claim paper

Read More »

click to vote

AAMAS
2012
Springer

310views Intelligent Agents» more AAMAS 2012»

A formal model of emotions for an empathic rational dialog agent

12 years 3 months ago

Download magalie.ochs.free.fr

Recent research has shown that virtual agents expressing empathic emotions toward users have the potentiality to enhance human-machine interaction. To provide empathic capabilitie...

Magalie Ochs, David Sadek, Catherine Pelachaud

claim paper

Read More »

click to vote

FTRTFT
1998
Springer

108views Formal Methods» more FTRTFT 1998»

Towards a Formal Semantics of Verilog Using Duration Calculus

13 years 11 months ago