2356 search results - page 351 / 472 » Characterizations of postman sets |
127
click to vote
AIPS
2008
15 years 7 months ago
2008
We present a planner for the Combat Power Management (CPM) problem. In response to multiple simultaneous or sequential threats, the planner generates a set of local plans, one for...
129
click to vote
WSC
2008
15 years 7 months ago
2008
An increased need for collaborative research, together with continuing advances in communication technology and computer hardware, has facilitated the development of distributed s...
170
Voted
ICDT
2010
ACM
15 years 6 months ago
2010
ACM
When a query is evaluated under bag semantics, each answer is returned as many times as it has derivations. Bag semantics has long been recognized as important, especially when ag...
107
click to vote
ASPDAC
2008
ACM
15 years 6 months ago
2008
ACM
- Simulation-based functional verification is characterized by two inherently conflicting targets: the signal visibility and simulation performance. Achieving a proper trade-off be...
132
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Recent work by Procaccia, Rosenschein and Zohar [14] established some results regarding the complexity of manipulation and control in elections with multiple winners, such as elec...