Sciweavers

4286 search results - page 591 / 858
» Formalizing Service Interactions
Sort
View
157
Voted
ACSD
2006
IEEE
109views Hardware» more  ACSD 2006»
15 years 6 months ago
Synthesis of Synchronous Interfaces
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
Purandar Bhaduri, S. Ramesh
ACII
2007
Springer
15 years 6 months ago
An Empathic Rational Dialog Agent
Recent research has shown that virtual agent able to express empathic emotions enhances human-machine interaction. In this paper, we present the capabilities that virtual agent sho...
Magalie Ochs, Catherine Pelachaud, David Sadek
ECAI
2008
Springer
15 years 6 months ago
Agent-Based and Population-Based Simulation of Displacement of Crime (extended abstract)
acement of Crime (extended abstract) Tibor Bosse and Charlotte Gerritsen and Mark Hoogendoorn and S. Waqar Jaffry and Jan Treur1 Within Criminology, the process of crime displaceme...
Tibor Bosse, Charlotte Gerritsen, Mark Hoogendoorn...
BCS
2008
15 years 6 months ago
Compiling C-like Languages to FPGA Hardware: Some Novel Approaches Targeting Data Memory Organisation
This paper describes our approaches to raise the level of abstraction at which hardware suitable for accelerating computationally-intensive applications can be specified. Field-Pr...
Qiang Liu, George A. Constantinides, Konstantinos ...
BCSHCI
2008
15 years 6 months ago
Research methods for HCI
The aim of the tutorial is to help researchers, particularly early career researchers, to develop the appropriate skills to make a useful research contribution to Human-Computer I...
Anna Louise Cox, Paul A. Cairns, Harold W. Thimble...