5624 search results - page 411 / 1125 » On Conditional Covering Problem |
210
click to vote
ADHOCNOW
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. We consider the problem of bootstrapping self-organized mobile ad hoc networks (MANET), i.e. reliably determining in a distributed and self-organized manner the services ...
195
click to vote
AMEC
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. In a combinatorial auction, there are multiple items for sale, and bidders are allowed to place a bid on a bundle of these items rather than just on the individual items....
189
Voted
IFIP
2004
Springer
16 years 7 days ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
162
Voted
EVOW
2003
Springer
16 years 2 days ago
2003
Springer
This paper describes a domain independent approach to the use of genetic programming for object detection problems. Rather than using raw pixels or high level domain specific feat...
217
click to vote
ATVA
2010
Springer
15 years 8 months ago
2010
Springer
We study recursive timed automata that extend timed automata with recursion. Timed automata, as introduced by Alur and Dill, are finite automata accompanied by a finite set of real...