Sciweavers

1554 search results - page 138 / 311
» An Overview of the Spring System
Sort
View
SEKE
1993
Springer
14 years 1 months ago
Developing Knowledge-Based Systems with Active Expert Participation
Many reported difficulties with real-life applications of knowledge-based technology stem from the fact that the traditionally performed prototyping projects are hard to manage an...
Kristian Sandahl
IJIT
2004
13 years 10 months ago
A Lossless Watermarking Based Authentication System For Medical Images
In this paper we investigate the watermarking authentication when applied to medical imagery field. We first give an overview of watermarking technology by paying attention to frag...
Samia Boucherkha, Mohamed Benmohamed
FLOPS
2010
Springer
14 years 4 months ago
Beluga: Programming with Dependent Types, Contextual Data, and Contexts
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
Brigitte Pientka
COLCOM
2007
IEEE
14 years 3 months ago
Secure peer-to-peer networks for trusted collaboration
Abstract—An overview of recent advances in secure peerto-peer networking is presented, toward enforcing data integrity, confidentiality, availability, and access control policie...
Kevin W. Hamlen, Bhavani M. Thuraisingham
ADAPTIVE
2007
Springer
14 years 3 months ago
Adaptive News Access
This chapter describes how the adaptive web technologies discussed in this book have been applied to news access. First, we provide an overview of different types of adaptivity in ...
Daniel Billsus, Michael J. Pazzani