20638 search results - page 461 / 4128 » Network Computing |
206
click to vote
IFM
2010
Springer
2010
Springer
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT
15 years 6 months ago
Stochastic satisfiability modulo theories (SSMT), which is an extension of satisfiability modulo theories with randomized quantification, has successfully been used as a symboli...
232
click to vote
ICDCSW
2005
IEEE
16 years 1 months ago
2005
IEEE
Internet worms have repeatedly revealed the susceptibility of network hosts to malicious intrusions. Recent studies have proposed to employ the underlying principles of worm propa...
179
click to vote
ACMIDC
2009
15 years 11 months ago
2009
"Petimo" is an interactive robotic toy designed to protect children from potential risks in social networks and the virtual world and helps them to make a safely connect...
217
Voted
IWANN
2009
Springer
16 years 2 months ago
2009
Springer
A Brain-Computer Interface (BCI) application focused on the control of a wheelchair must consider the danger which a wrong command would involve in a real situation. Virtual realit...
185
click to vote
IJCNN
2008
IEEE
16 years 2 months ago
2008
IEEE
—This article introduces a new feature vector extraction for EEG signals using multifractal analysis. The validity of the approach is asserted on real data sets from the BCI comp...