Sciweavers

253 search results - page 30 / 51
» Conditional Symmetry Breaking
Sort
View
JGT
2006
60views more  JGT 2006»
14 years 11 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
COMBINATORICS
2002
73views more  COMBINATORICS 2002»
14 years 11 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 11 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 3 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 3 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