Computing Technical Reports : [241] Collection home page

Browse
Collection's Items (Sorted by Title in Ascending order): 101 to 120 of 241
Issue DateTitleAuthor(s)
1-Jan-2003Genetic algorithm for finding a good first integer solution for MILPNieminen, K; Ruuth, S; Maros, I
1-Jan-2013Globally governed session semanticsKouzapas, D; Yoshida, N
1-Apr-1997Goal-directed proof theoryGabbay, DM; Olivetti, N
1-Jan-2013Group synthesis for alternating-time temporal logicJones, AV; Knapik, M; Lomuscio, A; Penczek, W
1-Jan-2003HAIL: Hybrid Abductive-Inductive LearningRay, O
1-Jan-1995Heterogeneous knowledge representation: integrating connectionist and symbolic computationsMontesi, D
1-Jan-2015High quality SimRank-based similarity searchYu, W; McCann, JA
1-Jan-2016High volume ergonomic simulation of chairsDepartment of Computing, Imperial College London
1-Jan-2008Hotspot detection of SPEC CPU 2006 benchmarks with performance event countersWu, Q; Mencer, O; Tavares, C; Atasu, K
1-Jan-2015Hybrid session veri cation through endpoint API generationHu, R; Yoshida, N
30-Sep-2011Imperial College Computing Student WorkshopJones, AV
29-Oct-1998Implications of laws of software evolution on continuing successful use of COTS softwareLehmann, MM; Ramil, JF
1-Jan-2014Improving classification accuracy of response in leukaemia treatment using feature selection over pathway segmentationHira, ZM; Gillies, D; Curry, E
1-Jan-2005Inference of gene relations from microarray data by abductionPapatheodorou, I; Kakas, A; Sergot, M
1-Dec-2000Interactive multi-attribute decision making, based on quadratic programmingKriwaczek, F; Rustem, B
1-Jan-2016Interconnection networks in session-based logical processesToninho, B; Yoshida, N
1-Jan-2003Interpretation of hidden node methodology with network accuracyBang, J-W; Pappas, A; Gillies, D
1-Sep-2000Investigations in grounded semantics for multi-agent systems specification via deontic logicLomuscio, A; Sergot, M
1-Jan-2009Isolating JavaScript with filters, rewriting, and wrappersMaffeis, S; Mitchell, JC; Taly, A
6-Feb-1998Java binary computability is almost correct version 2∝Wragg, D; Drossopoulou, S; Eisenbach, S
Collection's Items (Sorted by Title in Ascending order): 101 to 120 of 241