Sciweavers

2413 search results - page 72 / 483
» Models for universal usability
Sort
View
CONCUR
2008
Springer
14 years 2 days ago
Completeness and Nondeterminism in Model Checking Transactional Memories
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh
IVCNZ
1998
13 years 11 months ago
Towards 3D Model Reconstruction from Photometric Stereo
In this highly technological world, various methods have been developed for the purpose of recovering the shape of 3D objects from 2D images. In this paper, we introduce methods t...
Angela Kar-Man Ng, Karsten Schlüns
AGI
2008
13 years 11 months ago
A computational approximation to the AIXI model
Universal induction solves in principle the problem of choosing a prior to achieve optimal inductive inference. The AIXI theory, which combines control theory and universal induct...
Sergey Pankov
MIE
2008
140views Healthcare» more  MIE 2008»
13 years 11 months ago
Clinical Processes in an Innovative Vascular Surgeon Community. Implications for Workflow Modeling
: Objective: To identify factors influencing variations in clinical work in the care of patients with abdominal aortic aneurism. Method: Ethnographic observations of 26 meetings be...
Berit Brattheim, Andreas R. Seim, Arild Faxvaag
ELPUB
2008
ACM
14 years 1 days ago
The Role of Academic Libraries in Building Open Communities of Scholars
This paper describes three important pillars of publishing programs emerging at university libraries: providing a robust publishing platform, engaging the academic community in di...
Kevin Stranack, Gwen Bird, Rea Devakos