Sciweavers

5896 search results - page 844 / 1180
» Service innovation and design
Sort
View
AIME
2005
Springer
16 years 12 days ago
AI Planning Technology as a Component of Computerised Clinical Practice Guidelines
The UK National Health Service (NHS) is currently undergoing an intensive review into the way patient care is designed, delivered and recorded. One important element of this is the...
Kirsty Bradbrook, Graham Winstanley, David Glasspo...
AISADM
2005
Springer
16 years 12 days ago
Execution Engine of Meta-learning System for KDD in Multi-agent Environment
Meta-learning system for KDD is an open and evolving platform for efficient testing and intelligent recommendation of data mining process. Metalearning is adopted to automate the s...
Ping Luo, Qing He, Rui Huang, Fen Lin, Zhongzhi Sh...
CRYPTO
2005
Springer
103views Cryptology» more  CRYPTO 2005»
16 years 11 days ago
Pebbling and Proofs of Work
We investigate methods for providing easy-to-check proofs of computational effort. Originally intended for discouraging spam, the concept has wide applicability as a method for co...
Cynthia Dwork, Moni Naor, Hoeteck Wee
ERCIMDL
2005
Springer
133views Education» more  ERCIMDL 2005»
16 years 11 days ago
XMLibrary Search: An XML Search Engine Oriented to Digital Libraries
Abstract. The increase in the amount of data available in digital libraries calls for the development of search engines that allow the users to find quickly and effectively what ...
Enrique Sánchez Villamil, Carlos Gonz&aacut...
FOSAD
2005
Springer
16 years 11 days ago
Formal Methods for Smartcard Security
Smartcards are trusted personal devices designed to store and process confidential data, and to act as secure tokens for providing access to applications and services. Smartcards ...
Gilles Barthe, Guillaume Dufay