Sciweavers

3731 search results - page 356 / 747
» cases 2006
Sort
View
ANNPR
2006
Springer
15 years 10 months ago
Incremental Training of Support Vector Machines Using Truncated Hypercones
We discuss incremental training of support vector machines in which we approximate the regions, where support vector candidates exist, by truncated hypercones. We generate the trun...
Shinya Katagiri, Shigeo Abe
ANTSW
2006
Springer
15 years 10 months ago
Applying Aspects of Multi-robot Search to Particle Swarm Optimization
Abstract. We present a modified version of the Particle swarm Optimization algorithm in which we adjust the virtual swarm search by incorporating inter-agent dynamics native to mul...
Jim Pugh, Loïc Segapelli, Alcherio Martinoli
APNOMS
2006
Springer
15 years 10 months ago
On the Security of Attribute Certificate Structuring for Highly Distributed Computing Environments
For an efficient role based access control using attribute certificate in highly distributed computing environments, we use a technique of structuring role specification certificat...
Soomi Yang
ARCS
2006
Springer
15 years 10 months ago
Power-Aware Collective Tree Exploration
An n-node tree has to be explored by a group of k mobile robots deployed initially at the root. Robots traverse the edges of the tree until all nodes are visited. We would like to ...
Miroslaw Dynia, Miroslaw Korzeniowski, Christian S...
ASIAN
2006
Springer
133views Algorithms» more  ASIAN 2006»
15 years 10 months ago
Normal Proofs in Intruder Theories
Given an arbitrary intruder deduction capability, modeled as an inference system S and a protocol, we show how to compute an inference system bS such that the security problem for ...
Vincent Bernat, Hubert Comon-Lundh