1420 search results - page 197 / 284 » A Framework for Scheduler Synthesis |
152
click to vote
IWAI
1999
Springer
15 years 10 months ago
1999
Springer
This article describes the role and functions of facial expressions in human-human and human-computer interactions from a psychological point of view. We introduce our theoretical...
178
click to vote
ICDCS
1997
IEEE
15 years 10 months ago
1997
IEEE
—This paper describes algorithms for implementing a high-level programming model for synchronous distributed groupware applications. In this model, several application data objec...
125
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
The process of sequential redundancy identification is the cornerstone of sequential synthesis and equivalence checking frameworks. The scalability of the proof obligations inhere...
141
click to vote
ECIS
2004
15 years 7 months ago
2004
This study examines the risk consequences of participation in inter-organisational information systems (IOS). The research aims to identify the risk mitigation and risk absorption...
160
click to vote
NIPS
2004
15 years 7 months ago
2004
We study the synthesis of neural coding, selective attention and perceptual decision making. We build a hierarchical neural architecture that implements Bayesian integration of no...