6192 search results - page 123 / 1239 » Structure benefits all |
119
Voted
LICS
2000
IEEE
15 years 9 months ago
2000
IEEE
We study definability and complexity issues for automatic and ω-automatic structures. These are, in general, infinite structures but they can be finitely presented by a collec...
162
click to vote
NAR
2007
15 years 4 months ago
2007
The DBAli tools use a comprehensive set of structural alignments in the DBAli database to leverage the structural information deposited in the Protein Data Bank (PDB). These tools...
142
Voted
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
A major research challenge in multi-agent systems is the problem of partitioning a set of agents into mutually disjoint coalitions, such that the overall performance of the system...
129
Voted
ACISICIS
2005
IEEE
15 years 10 months ago
2005
IEEE
Simultaneous Multithreaded (SMT) processors improve the instruction throughput by allowing fetching and running instructions from several threads simultaneously at a single cycle....
126
click to vote
GI
2004
Springer
15 years 10 months ago
2004
Springer
: The article provides an overview of the legal relationships in Open Source Structures. It shows that – as within all software development and distribution models – different ...