Sciweavers

12745 search results - page 251 / 2549
» Automating test automation
Sort
View
LPAR
2010
Springer
15 years 4 months ago
Infinite Families of Finite String Rewriting Systems and Their Confluence
We introduce parameterized rewrite systems for describing infinite families of finite string rewrite systems depending upon non-negative integer parameters, as well as ways to reas...
Jean-Pierre Jouannaud, Benjamin Monate
MICCAI
2009
Springer
16 years 7 months ago
Cortical Shape Analysis in the Laplace-Beltrami Feature Space
For the automated analysis of cortical morphometry, it is critical to develop robust descriptions of the position of anatomical structures on the convoluted cortex. Using the eigen...
Yonggang Shi, Ivo D. Dinov, Arthur W. Toga
PERCOM
2007
ACM
16 years 6 months ago
Middleware for Secure Home Access and Control
User adaptive systems in the context of pervasive computing can only unveil their power if based on a generic middleware managing private data and context information in combinati...
Andrés Marín López, Wolfgang ...
PERCOM
2006
ACM
16 years 6 months ago
Proximity Based Access Control in Smart-Emergency Departments
In this paper, we propose a Proximity Based automated Access Control (PBAC) model for smart-ED environments which improves the existing ED work-flow by automating mundane administ...
Sandeep K. S. Gupta, Tridib Mukherjee, Krishna K. ...
ECSQARU
2001
Springer
15 years 11 months ago
Polymorphism of Human Judgment under Uncertainty
The aim of this paper is to test if conjunctive and disjunctive judgments are differently accounted for possibility and probability theories depending on whether (1) judgments are ...
Rui Da Silva Neves, Eric Raufaste