Sciweavers

4099 search results - page 734 / 820
» A Framework for Interactive Proof
Sort
View
ECIS
2001
15 years 5 months ago
Critical Information Systems Research: A Habermasian Approach
The paper presents a critical inquiry into the relationship between Computer-Mediated Communication (CMC) and progressive rationalisation in modern organisations. By drawing on th...
Dubravka Cecez-Kecmanovic
DAGSTUHL
2003
15 years 5 months ago
Toward a Cognitive System Algebra: Application to Facial Expression Learning and Imitation
In this paper, we try to demonstrate the capability of a very simple architecture to learn to recognize and reproduce facial expressions without the innate capability to recognize ...
Philippe Gaussier, Ken Prepin, Jacqueline Nadel
128
Voted
FORTE
2001
15 years 5 months ago
A Family of Resource-Bound Real-Time Process Algebras
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Phi...
143
Voted
FMOODS
2003
15 years 5 months ago
Design and Verification of Distributed Multi-media Systems
Performance analysis of computing systems, in particular distributed computing systems, is a complex process. Analysing the complex flows and interactions between a set of distribu...
David H. Akehurst, John Derrick, A. Gill Waters
IADIS
2003
15 years 5 months ago
Connecting the Real and the Virtual World: How to Measure Digital Cities Impact
The paper introduces the concept of digital city and discusses how to assess a particular project, concerning its success in connecting the real city with its virtual counterpart....
Luis Borges Gouveia