Sciweavers

2586 search results - page 194 / 518
» Automatic Abstraction for Congruences
Sort
View
ERCIMDL
2005
Springer
94views Education» more  ERCIMDL 2005»
16 years 2 days ago
Supporting ECDL'05 Using TCeReview
Abstract. Conference Management constitutes a field in Digital Libraries including tasks such as paper to reviewer assignment and session compilation. These tasks depend on the pa...
Andreas Pesenhofer, Helmut Berger, Andreas Rauber
IBPRIA
2005
Springer
16 years 2 days ago
A New Algorithm for Pattern Optimization in Protein-Protein Interaction Extraction System
Abstract. In pattern matching based Protein-Protein Interaction Extraction systems, patterns generated manually or automatically exist erroneous and redundancy, which greatly affec...
Yu Hao, Xiaoyan Zhu, Ming Li
ICANN
2005
Springer
16 years 2 days ago
Balancing Guidance Range and Strength Optimizes Self-organization by Silicon Growth Cones
Abstract. We characterize the first hardware implementation of a selforganizing map algorithm based on axon migration. A population of silicon growth cones automatically wires a t...
Brian Taba, Kwabena Boahen
ICDCIT
2005
Springer
16 years 2 days ago
Validation of Policy Integration Using Alloy
Abstract. Organizations typically have multiple security policies operating together in the same system. The integration of multiple policies might be needed to achieve the desired...
Manachai Toahchoodee, Indrakshi Ray
ICIC
2005
Springer
16 years 2 days ago
Orthogonal Forward Selection for Constructing the Radial Basis Function Network with Tunable Nodes
Abstract. An orthogonal forward selection (OFS) algorithm based on the leaveone-out (LOO) criterion is proposed for the construction of radial basis function (RBF) networks with tu...
Sheng Chen, Xia Hong, Chris J. Harris