530 search results - page 66 / 106 » Structural and Complexity Aspects of Line Systems of Graphs |
121
click to vote
COCO
2010
Springer
15 years 5 months ago
2010
Springer
The last decade has seen a revival of interest in pebble games in the context of proof complexity. Pebbling has proven to be a useful tool for studying resolution-based proof syst...
114
click to vote
DAC
1994
ACM
15 years 6 months ago
1994
ACM
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
101
click to vote
EDBT
2008
ACM
16 years 2 months ago
2008
ACM
Database technology and the Structured Query Language (SQL) have grown enormously in recent years. Applications from different domains have different requirements for using databa...
133
Voted
DRM
2005
Springer
15 years 7 months ago
2005
Springer
Interoperability is currently seen as one of the most significant problems facing the digital rights management (DRM) industry. In this paper we consider the problem of interoper...
100
click to vote
IJCAI
2003
15 years 3 months ago
2003
Opening up large amounts of loosely structured information for easy access and use is a complex problem. This paper describes two systems that address different aspects of the pro...