567 search results - page 104 / 114 » Exact train pathing |
103
click to vote
EUROCAST
2007
Springer
15 years 3 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
114
click to vote
FLAIRS
2008
15 years 2 months ago
2008
Storyboards are commonly known as rows of pictures, which exemplarily sketch scenes in performing arts. The rows specify the sequence of scenes. The scenes themselves are illustra...
85
Voted
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
The exploration problem is a central issue in mobile robotics. A complete terrain coverage is not practical if the environment is large with only a few small hotspots. This paper ...
KDD
2010
ACM
15 years 1 months ago
2010
ACM
Information diffusion and virus propagation are fundamental processes talking place in networks. While it is often possible to directly observe when nodes become infected, observi...
NIPS
2008
15 years 1 months ago
2008
Before the age of 4 months, infants make inductive inferences about the motions of physical objects. Developmental psychologists have provided verbal accounts of the knowledge tha...