Sciweavers

2211 search results - page 179 / 443
» The state of peer-to-peer simulators and simulations
Sort
View
DAGM
2004
Springer
15 years 4 months ago
Multi-step Entropy Based Sensor Control for Visual Object Tracking
We describe a method for selecting optimal actions affecting the sensors in a probabilistic state estimation framework, with an application in selecting optimal zoom levels for a ...
Benjamin Deutsch, Matthias Zobel, Joachim Denzler,...
LOPSTR
2001
Springer
15 years 3 months ago
Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
Giorgio Delzanno, Sandro Etalle
ISCC
1999
IEEE
111views Communications» more  ISCC 1999»
15 years 2 months ago
Towards TCP-Friendly Adaptive Multimedia Applications Based on RTP
For multimedia senders to benefit the most of dynamically changing availability of network resources they need to adjust their transmission behavior in accordance with the network...
Dorgham Sisalem, Adam Wolisz
ICCCN
1998
IEEE
15 years 2 months ago
Comparative Performance Evaluation of Routing Protocols for Mobile, Ad hoc
We evaluate several routing protocols for mobile, wireless, ad hoc networks via packet level simulations. The protocol suite includes routing protocols specifically designed for a...
Samir Ranjan Das, Robert Castañeda, Jiangta...
ACMACE
2007
ACM
15 years 2 months ago
Playing with your brain: brain-computer interfaces and games
In this workshop we investigate a possible role of brain-computer interaction in computer games and entertainment computing. The assumption is that brain activity, whether it is c...
Anton Nijholt, Desney S. Tan