2940 search results - page 270 / 588 » Relational Parametricity and Control |
203
click to vote
TPDS
2002
15 years 6 months ago
2002
Abstract--The Gemini interconnect is a dual technology (optical and electrical) interconnection network designed for use in tightlycoupled multicomputer systems. It consists of a c...
133
click to vote
ORGSCI
2010
15 years 5 months ago
2010
In this study I examine how past performance influences the relative positions of actors in a network and how the actor-level heterogeneity in quality mediates the often-demonstra...
199
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
189
click to vote
RECSYS
2010
ACM
15 years 4 months ago
2010
ACM
A ranking approach, ListRank-MF, is proposed for collaborative filtering that combines a list-wise learning-to-rank algorithm with matrix factorization (MF). A ranked list of item...
164
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The paper presents a methodology for the enhanced stiffness analysis of parallel manipulators with internal preloading in passive joints. It also takes into account influ...