Sciweavers

4612 search results - page 650 / 923
» More Communications
Sort
View
PADL
2007
Springer
16 years 1 months ago
BAD, a Declarative Logic-Based Language for Brain Modeling
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...
Alan H. Bond
PET
2007
Springer
16 years 1 months ago
Enforcing P3P Policies Using a Digital Rights Management System
The protection of privacy has gained considerable attention recently. In response to this, new privacy protection systems are being introduced. SITDRM is one such system that prote...
Farzad Salim, Nicholas Paul Sheppard, Reihaneh Saf...
210
Voted
SG
2007
Springer
16 years 1 months ago
Highly Realistic 3D Presentation Agents with Visual Attention Capability
This research proposes 3D graphical agents in the role of virtual presenters with a new type of functionality – the capability to process and respond to visual attention of users...
Arjen Hoekstra, Helmut Prendinger, Nikolaus Bee, D...
197
Voted
TACAS
2007
Springer
144views Algorithms» more  TACAS 2007»
16 years 1 months ago
Detecting Races in Ensembles of Message Sequence Charts
Abstract. The analysis of message sequence charts (MSCs) is highly important in preventing common problems in communication protocols. Detecting race conditions, i.e., possible dis...
Edith Elkind, Blaise Genest, Doron Peled
225
Voted
TARK
2007
Springer
16 years 1 months ago
From conditional probability to the logic of doxastic actions
We investigate the discrete (finite) case of the Popper-Renyi theory of conditional probability, introducing discrete conditional probabilistic models for (multi-agent) knowledge...
Alexandru Baltag, Sonja Smets