Sciweavers

5675 search results - page 29 / 1135
» Formalising Performative Interaction
Sort
View
ENTCS
2007
113views more  ENTCS 2007»
15 years 1 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 8 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 6 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 7 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»
15 years 3 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...