Sciweavers

4000 search results - page 138 / 800
» Simulation down under
Sort
View
136
Voted
ICANNGA
2007
Springer
100views Algorithms» more  ICANNGA 2007»
15 years 7 months ago
Softening Splits in Decision Trees Using Simulated Annealing
Predictions computed by a classification tree are usually constant on axis-parallel hyperrectangles corresponding to the leaves and have strict jumps on their boundaries. The densi...
Jakub Dvorák, Petr Savický
149
Voted
JCM
2007
191views more  JCM 2007»
15 years 3 months ago
Performance Evaluation of IEEE 802.15.4: Experimental and Simulation Results
- Wireless Local Area Networking standard (Wi-Fi) and the WPAN standard (Bluetooth and Zigbee) products utilize the same unlicensed 2.4 GHz ISM band. Co-existence between such wire...
Khaled Shuaib, Maryam Alnuaimi, Mohammed Boulmalf,...
118
Voted
SG
2010
Springer
15 years 1 months ago
Interactive Design and Simulation of Net Sculptures
We present a graphical user interface that allows an artist to virtually design and visualize net sculptures. Net sculptures consist of net pieces that are seamlessly connected to ...
Grigore D. Pintilie, Peter Heppel, Janet Echelman
FSTTCS
2009
Springer
15 years 10 months ago
Simulation based security in the applied pi calculus
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
Stéphanie Delaune, Steve Kremer, Olivier Pe...
119
Voted
TARK
2007
Springer
15 years 9 months ago
A normal simulation of coalition logic and an epistemic extension
In this paper we show how coalition logic can be reduced to the fusion of a normal modal STIT logic for agency and a standard normal temporal logic for discrete time, and how this...
Jan Broersen, Andreas Herzig, Nicolas Troquard