Sciweavers

1013 search results - page 145 / 203
» Representational Issues in Meta-Learning
Sort
View
ICCBR
2007
Springer
14 years 4 months ago
Prototypical Cases for Knowledge Maintenance in Biomedical CBR
Abstract. Representing biomedical knowledge is an essential task in biomedical informatics intelligent systems. Case-based reasoning (CBR) holds the promise of representing context...
Isabelle Bichindaritz
ICIAR
2007
Springer
14 years 4 months ago
Model-Guided Luminance Range Enhancement in Mixed Reality
Abstract. Mixed Reality (MR) applications tend to focus on the accuracy of registration between the virtual and real objects of a scene, while paying relatively little attention to...
Yunjun Zhang, Charles E. Hughes
KIVS
2007
Springer
14 years 4 months ago
Semantic Integration of Identity Data Repositories
Abstract. With the continuously growing number of distributed and heterogeneous IT systems there is the need for structured and efficient identity management (IdM) processes. This ...
Christian Emig, Kim Langer, Jürgen Biermann, ...
PPDP
2007
Springer
14 years 4 months ago
A simple rewrite notion for call-time choice semantics
Non-confluent and non-terminating rewrite systems are interesting from the point of view of programming. In particular, existing functional logic languages use such kind of rewri...
Francisco Javier López-Fraguas, Juan Rodr&i...
TACAS
2007
Springer
158views Algorithms» more  TACAS 2007»
14 years 4 months ago
Automatic Analysis of the Security of XOR-Based Key Management Schemes
We describe a new algorithm for analysing security protocols that use XOR, such as key-management APIs. As a case study, we consider the IBM 4758 CCA API, which is widely used in t...
Véronique Cortier, Gavin Keighren, Graham S...