514 search results - page 52 / 103 » On the Structure of Valiant's Complexity Classes |
CSMR
2008
IEEE
14 years 3 months ago
2008
IEEE
Object-oriented languages such as Java, Smalltalk, and C++ structure their programs using packages, allowing classes to be organized into named abstractions. Maintainers of large ...
LICS
1999
IEEE
14 years 29 days ago
1999
IEEE
The ordered conjecture states that least fixed-point logic LFP is strictly more expressive than first-order logic FO on every infinite class of ordered finite structures. It has b...
MICRO
1993
IEEE
14 years 25 days ago
1993
IEEE
The conventional classification of inter-instruction dependencies (data, anti and output dependencies) provides a basic scheme for the analysis of pipeline hazards in pipelined in...
STOC
2004
ACM
14 years 9 months ago
2004
ACM
We present a probabilistic analysis for a large class of combinatorial optimization problems containing, e.g., all binary optimization problems defined by linear constraints and a...
ICSM
2007
IEEE
14 years 3 months ago
2007
IEEE
Large object-oriented applications are structured over large number of packages. Packages are important but complex structural entities that may be difficult to understand since ...