Sciweavers

JCSS
2010
77views more  JCSS 2010»
13 years 9 months ago
Isomorphism and canonization of tournaments and hypertournaments
We give a polynomial-time oracle algorithm for Tournament Canonization that accesses oracles for Tournament Isomorphism and Rigid-Tournament Canonization. Extending the Babai-Luks ...
Vikraman Arvind, Bireswar Das, Partha Mukhopadhyay
JCSS
2010
146views more  JCSS 2010»
13 years 9 months ago
Connected facility location via random facility sampling and core detouring
We present a simple randomized algorithmic framework for connected facility location problems. The basic idea is as follows: We run a black-box approximation algorithm for the unc...
Friedrich Eisenbrand, Fabrizio Grandoni, Thomas Ro...
JCSS
2010
102views more  JCSS 2010»
13 years 9 months ago
Matching and alpha-equivalence check for nominal terms
Nominal techniques were introduced to represent in a simple and natural way that involve binders. The syntax includes an abstraction operator and a primitive notion of name swappin...
Christophe Calvès, Maribel Fernández
JCSS
2010
69views more  JCSS 2010»
13 years 9 months ago
On the formal semantics of IF-like logics
In classical logics, the meaning of a formula is invariant with respect to the renaming of bound variables. This property, normally taken for granted, has been shown not to hold in...
Santiago Figueira, Daniel Gorín, Rafael Gri...
JCSS
2010
112views more  JCSS 2010»
13 years 9 months ago
Towards a dichotomy for the Possible Winner problem in elections based on scoring rules
To make a joint decision, agents (or voters) are often required to provide their preferences as linear orders. To determine a winner, the given linear orders can be aggregated acc...
Nadja Betzler, Britta Dorn
JCSS
2010
57views more  JCSS 2010»
13 years 9 months ago
Inter-deriving semantic artifacts for object-oriented programming
Olivier Danvy, Jacob Johannsen
JCSS
2010
60views more  JCSS 2010»
13 years 9 months ago
Scaling up workflow-based applications
Scott Callaghan, Ewa Deelman, Dan Gunter, Gideon J...
JCSS
2010
68views more  JCSS 2010»
13 years 9 months ago
Simplified proof of the blocking theorem for free-choice Petri nets
: Every cluster in a bounded and live free-choice system has a unique blocking marking. It can be reached by firing an occurrence sequence, which avoids any transition of the clust...
Joachim Wehler
JCSS
2010
155views more  JCSS 2010»
13 years 9 months ago
Approximation and fixed-parameter algorithms for consecutive ones submatrix problems
We develop an algorithmically useful refinement of a forbidden submatrix characterization of 0/1-matrices fulfilling the Consecutive Ones Property (C1P). This characterization ...
Michael Dom, Jiong Guo, Rolf Niedermeier
JCSS
2010
79views more  JCSS 2010»
13 years 9 months ago
Communication algorithms with advice
Pierre Fraigniaud, David Ilcinkas, Andrzej Pelc