5015 search results - page 311 / 1003 » Model Checking a Path |
165
click to vote
IROS
2008
IEEE
16 years 29 days ago
2008
IEEE
— Cabled robotic systems have been used for a diverse set of applications such as environmental sensing, search and rescue, sports and entertainment and air vehicle simulators. I...
166
click to vote
IPPS
2007
IEEE
16 years 25 days ago
2007
IEEE
We present a study of multithreaded implementations of Thorup’s algorithm for solving the Single Source Shortest Path (SSSP) problem for undirected graphs. Our implementations l...
179
click to vote
ISMVL
2003
IEEE
15 years 11 months ago
2003
IEEE
We consider the path length in decision diagrams for multiple-valued functions. This is an important measure of a decision diagram, since this models the time needed to evaluate t...
191
click to vote
ARCS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Certificate-based authentication of parties provides a powerful means for verifying claimed identities, since communicating partners do not have to exchange secrets in ad...
169
click to vote
COLT
2008
Springer
15 years 8 months ago
2008
Springer
We define a model of learning probabilistic acyclic circuits using value injection queries, in which an arbitrary subset of wires is set to fixed values, and the value on the sing...