Sciweavers

1620 search results - page 136 / 324
» Testing Polymorphic Properties
Sort
View
157
Voted
COCO
2007
Springer
142views Algorithms» more  COCO 2007»
15 years 11 months ago
Quantum t-designs: t-wise Independence in the Quantum World
A t-design for quantum states is a finite set of quantum states with the property of simulating the Haar-measure on quantum states w.r.t. any test that uses at most t copies of a...
Andris Ambainis, Joseph Emerson
IWIA
2006
IEEE
15 years 11 months ago
Modeling and Execution of Complex Attack Scenarios using Interval Timed Colored Petri Nets
The commonly used flaw hypothesis model (FHM) for performing penetration tests provides only limited, highlevel guidance for the derivation of actual penetration attempts. In thi...
Ole Martin Dahl, Stephen D. Wolthusen
132
Voted
ROBOCUP
2005
Springer
112views Robotics» more  ROBOCUP 2005»
15 years 10 months ago
Velocity Control of an Omnidirectional RoboCup Player with Recurrent Neural Networks
In this paper, a recurrent neural network is used to develop a dynamic controller for mobile robots. The advantage of the control approach is that no knowledge about the robot mode...
Mohamed Oubbati, Michael Schanz, Thorsten Buchheim...
152
Voted
ICOIN
2004
Springer
15 years 10 months ago
On Generating Random Network Structures: Connected Graphs
Abstract. In this paper we present the set of base algorithms for generating connected random graphs (RG). RG can be used for testing different algorithms on networks. The fast al...
Alexey S. Rodionov, Hyunseung Choo
145
Voted
GECCO
2003
Springer
130views Optimization» more  GECCO 2003»
15 years 10 months ago
A New Approach to Improve Particle Swarm Optimization
Abstract. Particle swarm optimization (PSO) is a new evolutionary computation technique. Although PSO algorithm possesses many attractive properties, the methods of selecting inert...
Liping Zhang, Huanjun Yu, Shangxu Hu