900 search results - page 62 / 180 » On Polynomial Time Computation over Unordered Structures |
ATAL
2011
Springer
12 years 8 months ago
2011
Springer
Forming effective coalitions is a major research challenge in AI and multi-agent systems (MAS). Thus, coalitional games, including Coalition Structure Generation (CSG), have been ...
TPDS
1998
13 years 8 months ago
1998
—A massive volume of biological sequence data is available in over 36 different databases worldwide, including the sequence data generated by the Human Genome project. These data...
TAPSOFT
1991
Springer
14 years 11 days ago
1991
Springer
Type inference can be phrased as constraint-solving over types. We consider an implicitly typed language equipped with recursive types, multiple inheritance, 1st order parametric ...
COMPGEOM
2011
ACM
13 years 13 days ago
2011
ACM
We present a new algorithm for computing zigzag persistent homology, an algebraic structure which encodes changes to homology groups of a simplicial complex over a sequence of sim...
ICDT
2009
ACM
14 years 9 months ago
2009
ACM
A technique called user views has recently been proposed to focus user attention on relevant information in response to provenance queries over workflow executions [1, 2]: Given u...