Sciweavers

253 search results - page 30 / 51
» Conditional Symmetry Breaking
Sort
View
JGT
2006
60views more  JGT 2006»
14 years 9 months ago
Spanning subgraphs of graphs partitioned into two isomorphic pieces
: A graph has the neighbor-closed-co-neighbor, or ncc property, if for each of its vertices x, the subgraph induced by the neighbor set of x is isomorphic to the subgraph induced b...
Anthony Bonato
78
Voted
COMBINATORICS
2002
73views more  COMBINATORICS 2002»
14 years 9 months ago
Prefix Exchanging and Pattern Avoidance by Involutions
Let In() denote the number of involutions in the symmetric group Sn which avoid the permutation . We say that two permutations , Sj may be exchanged if for every n, k, and order...
Aaron D. Jaggard
SIAMCO
2000
137views more  SIAMCO 2000»
14 years 9 months ago
On a Class of Diffeomorphic Matching Problems in One Dimension
We study a class of functional which can be used for matching objects which can be represented as mappings from a fixed interval, I, to some "feature space." This class o...
Alain Trouvé, Laurent Younes
CAV
2004
Springer
154views Hardware» more  CAV 2004»
15 years 1 months ago
Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...
Jesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qa...
ATAL
2004
Springer
15 years 1 months ago
Bargaining with Information
A negotiating agent engages in multi-issue bilateral negotiation in a dynamic information-rich environment. The agent strives to make informed decisions. The agent may assume that...
John K. Debenham