Sciweavers

2024 search results - page 243 / 405
» The Meaning of Ordered SOS
Sort
View
FASE
2004
Springer
16 years 3 days ago
Checking Absence of Illicit Applet Interactions: A Case Study
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
Marieke Huisman, Dilian Gurov, Christoph Sprenger,...
FPGA
2004
ACM
180views FPGA» more  FPGA 2004»
16 years 3 days ago
A VHDL MPEG-7 shape descriptor extractor
Unlike its predecessors, MPEG-7 standardizes multimedia metadata description. By providing robust descriptors and an effective system for storing them, MPEG-7 is designed to provi...
Bret Woz, Andreas E. Savakis
GCB
2004
Springer
126views Biometrics» more  GCB 2004»
16 years 3 days ago
Proteochemometrics Modeling of Receptor-Ligand Interactions Using Rough Sets
Abstract: We report on a model for the interaction of chimeric melanocortin Gprotein coupled receptors with peptide ligands using the rough set approach. Rough sets generate If-The...
H. Strömbergsson, Peteris Prusis, Herman Mide...
GECCO
2004
Springer
16 years 3 days ago
Experimental Evaluation of Discretization Schemes for Rule Induction
This paper proposes an experimental evaluation of various discretization schemes in three different evolutionary systems for inductive concept learning. The various discretization...
Jesús S. Aguilar-Ruiz, Jaume Bacardit, Fede...
HSNMC
2004
Springer
106views Multimedia» more  HSNMC 2004»
16 years 3 days ago
Performance Evaluation of a Probabilistic Packet Filter Optimization Algorithm for High-Speed Network Monitoring
Because of the ever-increasing popularity of the Internet, network monitoring becomes very mission critical to guarantee the operation of IP networks, e.g. to detect network failur...
Jan Coppens, Stijn De Smet, Steven Van den Berghe,...