Results 1  10
of
1,832,527
Computational Aspects of Covering in Dominance Graphs
, 2008
"... Various problems in AI and multiagent systems can be tackled by finding the “most desirable” elements of a set given some binary relation. Examples can be found in areas as diverse as voting theory, game theory, and argumentation theory. Some particularly attractive solution sets are defined in term ..."
Abstract

Cited by 7 (4 self)
 Add to MetaCart
in terms of a covering relation—a transitive subrelation of the original relation. We consider three different types of covering (upward, downward, and bidirectional) and the corresponding solution concepts known as the uncovered set and the minimal covering set. We present the first polynomialtime
Computational Aspects of Covering in Dominance Graphs∗
"... Various problems in AI and multiagent systems can be tackled by finding the “most desirable ” elements of a set given some binary relation. Examples can be found in areas as diverse as voting theory, game theory, and argumentation theory. Some particularly attractive solution sets are defined in ..."
Abstract
 Add to MetaCart
in terms of a covering relation—a transitive subrelation of the original relation. We consider three different types of covering (upward, downward, and bidirectional) and the corresponding solution concepts known as the uncovered set and the minimal covering set. We present the first polynomial
Community detection in graphs
, 2009
"... The modern science of networks has brought significant advances to our understanding of complex systems. One of the most relevant features of graphs representing real systems is community structure, or clustering, i. e. the organization of vertices in clusters, with many edges joining vertices of th ..."
Abstract

Cited by 801 (1 self)
 Add to MetaCart
The modern science of networks has brought significant advances to our understanding of complex systems. One of the most relevant features of graphs representing real systems is community structure, or clustering, i. e. the organization of vertices in clusters, with many edges joining vertices
An Overview of AspectJ
, 2001
"... AspectJTM is a simple and practical aspectoriented extension to JavaTM. With just a few new constructs, AspectJ provides support for modular implementation of a range of crosscutting concerns. In AspectJ's dynamic join point model, join points are welldefined points in the execution of the ..."
Abstract

Cited by 1384 (23 self)
 Add to MetaCart
AspectJTM is a simple and practical aspectoriented extension to JavaTM. With just a few new constructs, AspectJ provides support for modular implementation of a range of crosscutting concerns. In AspectJ's dynamic join point model, join points are welldefined points in the execution
A Threshold of ln n for Approximating Set Cover
 JOURNAL OF THE ACM
, 1998
"... Given a collection F of subsets of S = f1; : : : ; ng, set cover is the problem of selecting as few as possible subsets from F such that their union covers S, and max kcover is the problem of selecting k subsets from F such that their union has maximum cardinality. Both these problems are NPhar ..."
Abstract

Cited by 778 (5 self)
 Add to MetaCart
Given a collection F of subsets of S = f1; : : : ; ng, set cover is the problem of selecting as few as possible subsets from F such that their union covers S, and max kcover is the problem of selecting k subsets from F such that their union has maximum cardinality. Both these problems are NP
Interprocedural Slicing Using Dependence Graphs
 ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
, 1990
"... ... This paper concerns the problem of interprocedural slicinggenerating a slice of an entire program, where the slice crosses the boundaries of procedure calls. To solve this problem, we introduce a new kind of graph to represent programs, called a system dependence graph, which extends previou ..."
Abstract

Cited by 822 (85 self)
 Add to MetaCart
... This paper concerns the problem of interprocedural slicinggenerating a slice of an entire program, where the slice crosses the boundaries of procedure calls. To solve this problem, we introduce a new kind of graph to represent programs, called a system dependence graph, which extends
Efficiently computing static single assignment form and the control dependence graph
 ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
, 1991
"... In optimizing compilers, data structure choices directly influence the power and efficiency of practical program optimization. A poor choice of data structure can inhibit optimization or slow compilation to the point that advanced optimization features become undesirable. Recently, static single ass ..."
Abstract

Cited by 997 (8 self)
 Add to MetaCart
, the difficulty of their construction and their potential size have discouraged their use. We present new algorithms that efficiently compute these data structures for arbitrary control flow graphs. The algorithms use dominance frontiers, a new concept that may have other applications. We also give analytical
Human domination of Earth’s ecosystems
 Science
, 1997
"... Human alteration of Earth is substantial and growing. Between onethird and onehalf interact with the atmosphere, with aquatic of the land surface has been transformed by human action; the carbon dioxide con systems, and with surrounding land. Morecentration in the atmosphere has increased by near ..."
Abstract

Cited by 551 (6 self)
 Add to MetaCart
Human alteration of Earth is substantial and growing. Between onethird and onehalf interact with the atmosphere, with aquatic of the land surface has been transformed by human action; the carbon dioxide con systems, and with surrounding land. Morecentration in the atmosphere has increased by nearly 30 percent since the beginning of over, land trallsformation interacts strongly the Industrial Revolution; more atmospheric nitrogen is fixed by humanity than by all with most other components of global ennatural terrestrial sources combined; more than half of all accessible surface fresh water rironmental change. is put to use by humanity; and about onequarter of the bird species on Earth have been The measurement of land transformadriven to extinction. By these and other standards, it is clear that we live on a human tion on a global scale is challenging; changdominated planet. es can be measured more or less straightforwardly at a eiven site, but it is difficult to aggregate these changes regionally and globallv. In contrast to analvses of human alA11 organisms modify their environment, reasonably well quantified; all are ongoing, teraiion of the global carbon cycle, we and humans are no exceotion. As the hu These relativelv welldocumented changes cannot install instruments on a tro~ical man population has and the power of in turn entrail; further alterations to;he mountain to collect evidence of land tianstechnology has expanded, the scope and f~~nctioning of the Earth system, most no formation. Remote sensing is a most useful
Results 1  10
of
1,832,527