Sciweavers

5964 search results - page 996 / 1193
» A theory of speculative computation
Sort
View
TSMC
2002
80views more  TSMC 2002»
15 years 6 months ago
A feedforward neural network controlling the movement of a 3-DOF finger
This paper describes the dynamic control of a 3 degree of freedom (DOF) finger emulating a human finger for reaching a desired fingertip position in space. The control consists of ...
Emanuele Lindo Secco, Giovanni Magenes
CORR
2010
Springer
225views Education» more  CORR 2010»
15 years 6 months ago
Analysis of the Security of BB84 by Model Checking
Quantum Cryptography or Quantum key distribution (QKD) is a technique that allows the secure distribution of a bit string, used as key in cryptographic protocols. When it was note...
Mohamed Elboukhari, Mostafa Azizi, Abdelmalek Aziz...
MIS
2007
Springer
159views Multimedia» more  MIS 2007»
15 years 6 months ago
The application of fluid mobility modelling in wireless cellular networks
Mobility models, synthetic or trace, try to accurately model the movement of a single user or a group of users. Models are used in simulators and emulators to investigate the cons...
Ronan J. Skehill, Sean McGrath
MSCS
2007
91views more  MSCS 2007»
15 years 6 months ago
A rewriting calculus for cyclic higher-order term graphs
Introduced at the end of the nineties, the Rewriting Calculus (ρ-calculus, for short) is a simple calculus that fully integrates term-rewriting and λ-calculus. The rewrite rules...
Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, C...
PAMI
2007
123views more  PAMI 2007»
15 years 6 months ago
Unsupervised Statistical Segmentation of Nonstationary Images Using Triplet Markov Fields
—Recent developments in statistical theory and associated computational techniques have opened new avenues for image modeling as well as for image segmentation techniques. Thus, ...
Dalila Benboudjema, Wojciech Pieczynski