Sciweavers

1129 search results - page 121 / 226
» A Genetic Classifier Tool
Sort
View
WSC
1997
13 years 10 months ago
Evaluating Embedded Decision Processes of Manufacturing Systems Through Simulation
This paper addresses the issues related to the decision processes of manufacturing system simulation. The manufacturing system is perceived in terms of intelligent entities capabl...
S. Cem Karacal
ENTCS
2008
110views more  ENTCS 2008»
13 years 9 months ago
Chosen-name Attacks: An Overlooked Class of Type-flaw Attacks
In the context of Dolev-Yao style analysis of security protocols, we consider the capability of an intruder to dynamically choose and assign names to agents. This capability has b...
Pieter Ceelen, Sjouke Mauw, Sasa Radomirovic
JSW
2008
118views more  JSW 2008»
13 years 9 months ago
Deciding the Correctness of Attacks on Authentication Protocols
A new tool for automated validation of attacks on authentication protocols has been used to find several errors and ambiguities in the list of attacks described in the well known r...
Anders Moen Hagalisletto
JUCS
2008
105views more  JUCS 2008»
13 years 9 months ago
Taxonomy for Integrating Models in the Development of Interactive Groupware Systems
: This paper describes the taxonomy for designing interactive groupware systems. The taxonomy defines the objectives, methods and principles for classifying models and facilitates ...
William J. Giraldo, Ana I. Molina, César A....
TNN
2008
81views more  TNN 2008»
13 years 9 months ago
Nonlinear Knowledge-Based Classification
Prior knowledge over general nonlinear sets is incorporated into nonlinear kernel classification problems as linear constraints in a linear program. The key tool in this incorpora...
Olvi L. Mangasarian, Edward W. Wild