Sciweavers

1143 search results - page 40 / 229
» pairing 2007
Sort
View
IPL
2007
143views more  IPL 2007»
13 years 9 months ago
The cycle roommates problem: a hard case of kidney exchange
Recently, a number of interesting algorithmic problems have arisen from the emergence, in a number of countries, of kidney exchange schemes, whereby live donors are matched with r...
Robert W. Irving
CEC
2007
IEEE
14 years 4 months ago
A study on application of fitness inference method to PC-IGA
— This paper applies the fitness inference method to Interactive Genetic Algorithm based on Paired Comparison (PC-IGA). PC-IGA enables users to reduce the mental burden for eval...
Yoshinobu Watanabe, Tomohiro Yoshikawa, Takeshi Fu...
AIED
2007
Springer
14 years 4 months ago
Tutorial Dialogue as Adaptive Collaborative Learning Support
In this paper we investigate the role of reflection in simulation based learning by manipulating two independent factors that each separately lead to significant learning effects, ...
Rohit Kumar, Carolyn Penstein Rosé, Yi-Chia...
WCE
2007
13 years 11 months ago
Models of Adding Relations to a Linking Pin Type Organization Structure
—This paper proposes two models of adding relations to a linking pin type organization structure where every pair of siblings in a complete Kary tree of height H is adjacent: (i)...
Kiyoshi Sawada
IANDC
2007
106views more  IANDC 2007»
13 years 9 months ago
Tyrolean termination tool: Techniques and features
The Tyrolean Termination Tool (TTT for short) is a powerful tool for automatically proving termination of rewrite systems. It incorporates several new refinements of the dependen...
Nao Hirokawa, Aart Middeldorp