Sciweavers

3006 search results - page 584 / 602
» Overview
Sort
View
ENTCS
2006
117views more  ENTCS 2006»
13 years 8 months ago
A Formalization of Credit and Responsibility Within the GNDC Schema
We formally define a notion of credit and responsibility within the Generalized Non Deducibility on Compositions framework. We investigate the validity of our definitions through ...
Roberto Gorrieri, Fabio Martinelli, Marinella Petr...
IJMI
2008
97views more  IJMI 2008»
13 years 8 months ago
Positive effects of electronic patient records on three clinical activities
Purpose: To investigate the effects of a fully functional electronic patient record (EPR) system on clinicians' work during team conferences, ward rounds, and nursing handove...
Morten Hertzum, Jesper Simonsen
CAL
2007
13 years 8 months ago
Physical Register Reference Counting
—Several recently proposed techniques including CPR (Checkpoint Processing and Recovery) and NoSQ (No Store Queue) rely on reference counting to manage physical registers. Howeve...
A. Roth
CORR
2007
Springer
123views Education» more  CORR 2007»
13 years 8 months ago
A Generic Analysis Environment for Curry Programs
We present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application...
Michael Hanus
IJVR
2006
199views more  IJVR 2006»
13 years 8 months ago
Interactive Virtual Humans in Real-Time Virtual Environments
In this paper, we will present an overview of existing research in the vast area of IVH systems. We will also present our ongoing work on improving the expressive capabilities of I...
Nadia Magnenat-Thalmann, Arjan Egges