1222 search results - page 238 / 245 » A Bayesian Approach to Model Checking Biological Systems |
133
click to vote
CCS
2009
ACM
15 years 8 months ago
2009
ACM
In mobile networks, authentication is a required primitive of the majority of security protocols. However, an adversary can track the location of mobile nodes by monitoring pseudo...
114
click to vote
AROBOTS
2008
15 years 2 months ago
2008
Online trajectory generation for robots with multiple degrees of freedom is still a difficult and unsolved problem, in particular for non-steady state locomotion, that is, when th...
150
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: To study complex biochemical reaction networks in living cells researchers more and more rely on databases and computational methods. In order to facilitate computatio...
123
Voted
VR
2008
IEEE
15 years 1 months ago
2008
IEEE
Virtual interactive student-oriented learning environment (VISOLE) is a game-based constructivist pedagogical approach that encompasses the creation of an online interactive world ...
128
click to vote
IROS
2006
IEEE
15 years 7 months ago
2006
IEEE
— There is much to gain from providing walking machines with passive dynamics, e.g. by including compliant elements in the structure. These elements can offer interesting propert...