1431 search results - page 151 / 287 » The complexity of random ordered structures |
105
click to vote
EMSOFT
2003
Springer
15 years 8 months ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
137
click to vote
COOPIS
1999
IEEE
15 years 7 months ago
1999
IEEE
The Web so far has been incredibly successful at delivering information to human users. So successful actually, that there is now an urgent need to go beyond a browsing human and ...
113
click to vote
PVLDB
2010
15 years 1 months ago
2010
In XML search systems twig queries specify predicates on node values and on the structural relationships between nodes, and a key operation is to join individual query node matche...
148
click to vote
EDBTW
2004
Springer
15 years 8 months ago
2004
Springer
Many users and applications require the integration of semi-structured data from autonomous, heterogeneous Web sources. Over the last years mediator systems have emerged that use d...
135
click to vote
COMPLEXITY
2004
15 years 3 months ago
2004
: Explaining the maintenance of sexual reproduction remains one of the greatest challenges in biology. The theoretical oddity of sex is based on at least three advantages that asex...