2560 search results - page 260 / 512 » Contributions to zero-sum problems |
158
click to vote
ENTCS
2007
15 years 5 months ago
2007
Symbolic model checking is PSPACE complete. Since QBF is the standard PSPACE complete problem, it is most natural to encode symbolic model checking problems as QBF formulas and th...
112
click to vote
ENTCS
2007
15 years 5 months ago
2007
We provide a new look at formal aspects of component substitutability (replacement of a component with a new one) and independent implementability (reuse of a component in any sys...
186
click to vote
ENVSOFT
2007
15 years 5 months ago
2007
Groundwater long-term monitoring (LTM) is required to assess the performance of groundwater remediation and human being health risk at post-closure sites where groundwater contami...
159
click to vote
MTA
2008
15 years 5 months ago
2008
Abstract Record labels and telecoms are using the pervasiveness of mobile technologies to create a mobile music market, where customers can have their preferred music at any time a...
153
click to vote
PR
2008
15 years 5 months ago
2008
Acoustic event classification may help to describe acoustic scenes and contribute to improve the robustness of speech technologies. In this work, fusion of different information s...