Sciweavers

9049 search results - page 1536 / 1810
» The New C Standard
Sort
View
CONSTRAINTS
1999
120views more  CONSTRAINTS 1999»
15 years 6 months ago
Refined Inequalities for Stable Marriage
We consider two approaches to the stable marriage problem: proposal algorithms and describing the stable matching polytope using linear inequalities. We illuminate the relationship...
Brian Aldershof, Olivia M. Carducci, David C. Lore...
JCT
1998
68views more  JCT 1998»
15 years 6 months ago
Rook Theory and t-Cores
If t is a positive integer, then a partition of a non-negative integer n is a t−core if none of the hook numbers of the associated Ferrers-Young diagram is a multiple of t. These...
James Haglund, Ken Ono, Lawrence Sze
LOGCOM
2002
116views more  LOGCOM 2002»
15 years 6 months ago
Formalizing Collaborative Decision-making and Practical Reasoning in Multi-agent Systems
paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through t...
Pietro Panzarasa, Nicholas R. Jennings, Timothy J....
MST
1998
76views more  MST 1998»
15 years 6 months ago
Sharply Bounded Alternation and Quasilinear Time
We de ne the sharply bounded hierarchy, SBH(QL), a hierarchy of classes within P, using quasilinear-time computation and quanti cation over strings of length logn. It generalizes ...
Stephen A. Bloch, Jonathan F. Buss, Judy Goldsmith
SIAMCO
2002
72views more  SIAMCO 2002»
15 years 6 months ago
A Unifying Integral ISS Framework for Stability of Nonlinear Cascades
Abstract. We analyze nonlinear cascades in which the driven subsystem is integral input-tostate stable (ISS), and we characterize the admissible integral ISS gains for stability. T...
Murat Arcak, David Angeli, Eduardo D. Sontag
« Prev « First page 1536 / 1810 Last » Next »