9572 search results - page 329 / 1915 » Cover Algorithms and Their Combination |
178
click to vote
TACAS
2001
Springer
15 years 11 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...
192
click to vote
EUROPAR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper we propose an energy-efficient broadcast algorithm for wireless networks for the case where the transmission powers of the nodes are fixed. Our algorithm is...
157
click to vote
AAAI
1994
15 years 8 months ago
1994
This paper presents an algorithm, called JustIn-Case Scheduling, for building robust schedules that tend not to break. The algorithm implements the common sense idea of being prep...
170
click to vote
JCIT
2008
15 years 6 months ago
2008
There are various web caching replacement algorithms related to reference characteristics of web objects were researched. They could be used in regard to user characteristics of c...
190
click to vote
ICRA
2005
IEEE
16 years 9 days ago
2005
IEEE
— We present algorithms to detect and precisely localize curbs and stairways for autonomous navigation. These algorithms combine brightness information (in the form of edgels) wi...