Sciweavers

Share
FLAIRS
2000
10 years 1 months ago
The Use of Formal Methods for Trusted Digital Signature Devices
This paper presents a formal security policy model for SmartCards with digital signature application. This kind of model is necessary for each evaluation according to Information ...
Bruno Langenstein, Roland Vogt, Markus Ullmann
FLAIRS
2000
10 years 1 months ago
Towards Validation of Rule-Based Systems - The Loop is Closed
Rainer Knauf, Ilka Philippow, Avelino J. Gonzalez,...
FLAIRS
2000
10 years 1 months ago
Graph-Based Hierarchical Conceptual Clustering
Hierarchical conceptual clustering has been proven to be a useful data mining technique. Graph-based representation of structural information has been shown to be successful in kn...
Istvan Jonyer, Lawrence B. Holder, Diane J. Cook
FLAIRS
2000
10 years 1 months ago
Simultaneous Search in Connection Tableau Calculi by Means of Disjunctive Constraints
Automatedtheorem proving with connection tableau calculi imposessearch problemsin tremendoussearch spaces. In this paper, wepresent a newapproachto search space reduction in conne...
Ortrun Ibens
FLAIRS
2000
10 years 1 months ago
Formal Software Development in the Verification Support Environment (VSE)
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...
Dieter Hutter, Georg Rock, Jörg H. Siekmann, ...
FLAIRS
2000
10 years 1 months ago
Deriving Summaries Through an Identity-Based Approach
The existence of large datasets requires methods for producing simpler or summarized views of data. Typical approaches to summarization based on statistics do not capture complete...
Kathleen Hornsby
FLAIRS
2000
10 years 1 months ago
Case Studies of Autonomy
Autonomy is a quality for devices and creatures that perform tasks with relative independence from their designers and sources of authority. We discuss the idea and present two ca...
Henry Hexmoor
FLAIRS
2000
10 years 1 months ago
Resolving Conflicts Among Actions in Concurrent Behaviors
A robotic agent must coordinate its coupled concurrent behaviors to produce a coherent response to stimuli. Reinforcement learning has been used extensively in coordinating sensin...
Henry Hexmoor
books