Sciweavers

3022 search results - page 420 / 605
» Make Way for WayMaker
Sort
View
278
Voted
FIRA
2010
Springer
156views Robotics» more  FIRA 2010»
15 years 2 months ago
Attracting Students to Engineering: Using Intuitive HRIs for Educational Purposes
Today, industrialized countries are facing a major problem, the lack of skilled engineers. Despite the increasing demand for engineers in the labor market, the number of students g...
Pedro Neto, Nuno Mendes, Nélio Mourato, J. ...
JDCTA
2010
187views more  JDCTA 2010»
15 years 1 months ago
Automatic Verification of Security Properties in Remote Internet Voting Protocol with Applied Pi Calculus
Soundness and coercion resistance are the important and intricate security requirements for remote voting protocols. Several formal models of soundness and coercion-resistance hav...
Bo Meng, Wei Huang, Zimao Li, Dejun Wang
JIPS
2010
389views more  JIPS 2010»
15 years 1 months ago
The Wormhole Routing Attack in Wireless Sensor Networks (WSN)
Secure routing is vital to the acceptance and use of Wireless Sensor Networks (WSN) for many applications. However, providing secure routing in WSNs is a challenging task due to th...
Lukman Sharif, Munir Ahmed
JMLR
2010
91views more  JMLR 2010»
15 years 1 months ago
Composite Binary Losses
We study losses for binary classification and class probability estimation and extend the understanding of them from margin losses to general composite losses which are the compos...
Mark D. Reid, Robert C. Williamson
NHM
2010
87views more  NHM 2010»
15 years 1 months ago
The coolest path problem
We introduce the coolest path problem, which is a mixture of two well-known problems from distinct mathematical fields. One of them is the shortest path problem from combinatorial ...
Martin Frank, Armin Fügenschuh, Michael Herty...