Sciweavers

6087 search results - page 501 / 1218
» Knowledge discovery methods
Sort
View
CSFW
2005
IEEE
16 years 18 days ago
An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
Iliano Cervesato, Catherine Meadows, Dusko Pavlovi...
HLK
2003
IEEE
16 years 7 days ago
Symmetry-Based Photo Editing
Based on high-level geometric knowledge, especially symmetry, imposed upon objects in images, we demonstrate in this paper how to edit images in terms of correct 3-D shape and rel...
Kun Huang, Wei Hong, Yi Ma
IUI
2000
ACM
15 years 11 months ago
A calendar with common sense
Digital devices today have little understanding of their realworld context, and as a result they often make stupid mistakes. To improve this situation we are developing a database...
Erik T. Mueller
ICCS
1997
Springer
15 years 11 months ago
Applying Conceptual Graph Theory to the User-Driven Specification of Network Information Systems
Users need to be strongly involved in the specification process of network information systems. Characteristics of user-driven specification are described, and process composition ...
Aldo de Moor
ESEM
2007
ACM
15 years 11 months ago
Evidence relating to Object-Oriented software design: A survey
Context: There is little empirical knowledge of the effectiveness of the object-oriented paradigm. Objectives: To conduct a systematic review of the literature describing empirica...
John Bailey, David Budgen, Mark Turner, Barbara Ki...