2978 search results - page 77 / 596 » Operations Research |
103
click to vote
AIR
2004
14 years 11 months ago
2004
Ensuring truthfulness amongst self-interested agents bidding against one another in an auction can be computationally expensive when prices are determined using the Vickrey-Clarke-...
DASFAA
2004
IEEE
15 years 3 months ago
2004
IEEE
For event filtering of publish/subscribe system, significant research efforts have been dedicated to techniques based on multiple one-dimensional indexes built on attributes of sub...
ICCAD
1994
IEEE
15 years 4 months ago
1994
IEEE
Identifying mutual exclusiveness between operators during behavioral synthesis is important in order to reduce the required number of control steps or hardware resources. To impro...
LICS
1989
IEEE
15 years 3 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
OR
2007
Springer
15 years 6 months ago
2007
Springer
We report on the development of a Decision Support System (DSS) to plan the best assignment for the weekly promotion space of a TV station. Each product to promote has a given tar...