3299 search results - page 495 / 660 » A general mathematics of names |
186
click to vote
JCO
2008
15 years 6 months ago
2008
We study variants of classical stable matching problems in which there is an additional requirement for a stable matching, namely that there should not be two participants who wou...
110
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Analytic execution architectures have been proposed by the same authors as a means to conceptualize the cooperation between heterogeneous collectives of components such as program...
173
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...
173
click to vote
CVGIP
2007
15 years 6 months ago
2007
Facial Motion Cloning (FMC) is the technique employed to transfer the motion of a virtual face (namely the source) to a mesh representing another face (the target), generally havi...
163
click to vote
JSAC
2008
15 years 6 months ago
2008
In this paper, a theoretical framework of divergence minimization (DM) is applied to derive iterative receiver algorithms for coded CDMA systems. The DM receiver obtained performs ...