2150 search results - page 86 / 430 » On a restricted cross-intersection problem |
123
click to vote
SAT
2007
Springer
15 years 10 months ago
2007
Springer
In this paper a new circuit sat based encoding of boolean formula is proposed. It makes an original use of the concept of restrictive models introduced by Boufkhad to polynomially ...
129
click to vote
SEMWEB
2004
Springer
15 years 9 months ago
2004
Springer
Both OWL-DL and function-free Horn rules3 are decidable logics with interesting, yet orthogonal expressive power: from the rules perspective, OWL-DL is restricted to tree-like rule...
139
click to vote
SIGCOMM
1991
ACM
15 years 8 months ago
1991
ACM
One of the most compelling long term problems facing the IP and emerging 0S1 Internet is growth, At the same time, policy routing-the ability of a packet source to determine the t...
146
click to vote
PLANX
2008
15 years 6 months ago
2008
Regular Expressions (REs) form the basis of most XML type languages, such as DTDs, XML Schema types, and XDuce types (Thompson et al. 2004; Hosoya and Pierce 2003). In this contex...
127
click to vote
MFCS
2010
Springer
15 years 2 months ago
2010
Springer
We introduce Transformation Games (TGs), a form of coalitional game in which players are endowed with sets of initial resources, and have capabilities allowing them to derive certa...