5015 search results - page 296 / 1003 » Model Checking a Path |
198
click to vote
ICALT
2006
IEEE
16 years 17 days ago
2006
IEEE
Generally speaking, in the e-learning systems, a course is modeled as a graph, where each node represents a knowledge node (KU) and two nodes are connected to form a semantic netw...
156
click to vote
IROS
2006
IEEE
16 years 16 days ago
2006
IEEE
— This paper presents a new sensor based global Path Planner which operates in two steps. In the first step the safest areas in the environment are extracted by means of a Voron...
164
click to vote
ICRA
2005
IEEE
16 years 3 days ago
2005
IEEE
— We present a new approach to path planning for flexible wires. We introduce a method for computing stable configurations of a wire subject to manipulation constraints. These ...
180
click to vote
ISCIS
2004
Springer
15 years 12 months ago
2004
Springer
Considering wireless sensor networks for border surveillance, one of the major concerns is sensing coverage. Breach probability can be used as a measure to analyze the tradeoffs a...
181
click to vote
BMVC
2010
15 years 4 months ago
2010
We present a novel method to detect curves with unknown endpoints using minimal path techniques. Our work builds on the state of the art minimal path techniques currently used to ...