Sciweavers

5675 search results - page 29 / 1135
» Formalising Performative Interaction
Sort
View
ENTCS
2007
113views more  ENTCS 2007»
14 years 9 months ago
On the Decidability of the Safety Problem for Access Control Policies
An access control system regulates the rights of users to gain access to resources in accordance with a specified policy. The rules in this policy may interact in a way that is n...
E. Kleiner, T. Newcomb
CEC
2008
IEEE
15 years 4 months ago
Policy evolution with Genetic Programming: A comparison of three approaches
— In the early days a policy was a set of simple rules with a clear intuitive motivation that could be formalised to good effect. However the world is now much more complex. Subt...
Yow Tzu Lim, Pau-Chen Cheng, John Andrew Clark, Pa...
AIME
2001
Springer
15 years 2 months ago
Using Critiquing for Improving Medical Protocols: Harder than It Seems
Medical protocols are widely recognised to provide clinicians with high-quality and up-to-date recommendations. A critical condition for this is of course that the protocols themse...
Mar Marcos, Geert Berger, Frank van Harmelen, Anne...
IPPS
2006
IEEE
15 years 3 months ago
Parallelization and performance characterization of protein 3D structure prediction of Rosetta
The prediction of protein 3D structure has become a hot research area in the post-genome era, through which people can understand a protein’s function in health and disease, exp...
Wenlong Li, Tao Wang, Eric Li, D. Baker, Li Jin, S...
LREC
2008
100views Education» more  LREC 2008»
14 years 11 months ago
An Evaluation of Spoken and Textual Interaction in the RITEL Interactive Question Answering System
The RITEL project aims to integrate a spoken language dialogue system and an open-domain information retrieval system in order to enable human users to ask a general question and ...
Dave Toney, Sophie Rosset, Aurélien Max, Ol...