5084 search results - page 694 / 1017 » Proving Possibility Properties |
161
click to vote
VISAPP
2007
15 years 8 months ago
2007
Abstract. In image-based robot navigation, the robot localises itself by comparing images taken at its current position with a set of reference images stored in its memory. The pro...
177
Voted
AVI
2008
15 years 7 months ago
2008
Programming assignments are easy to plagiarize in such a way as to foil casual reading by graders. Graders can resort to automatic plagiarism detection systems, which can generate...
184
click to vote
CEC
2010
IEEE
15 years 7 months ago
2010
IEEE
Trade execution is concerned with the actual mechanics of buying or selling the desired amount of a financial instrument of interest. A practical problem in trade execution is how ...
166
click to vote
ECRTS
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract--Limited preemption scheduling has been introduced as a viable alternative to non-preemptive and fullypreemptive scheduling when reduced blocking times need to coexist wit...
185
click to vote
CONEXT
2009
ACM
15 years 7 months ago
2009
ACM
The accuracy and speed of path capacity measurement could be seriously affected by the presence of cross traffic on the path. In this paper, we propose a new cross-traffic filteri...