Collection's Items (Sorted by Title in Ascending order): 101 to 120 of 241
Issue Date | Title | Author(s) |
1-Jan-2003 | Genetic algorithm for finding a good first integer solution for MILP | Nieminen, K; Ruuth, S; Maros, I |
1-Jan-2013 | Globally governed session semantics | Kouzapas, D; Yoshida, N |
1-Apr-1997 | Goal-directed proof theory | Gabbay, DM; Olivetti, N |
1-Jan-2013 | Group synthesis for alternating-time temporal logic | Jones, AV; Knapik, M; Lomuscio, A; Penczek, W |
1-Jan-2003 | HAIL: Hybrid Abductive-Inductive Learning | Ray, O |
1-Jan-1995 | Heterogeneous knowledge representation: integrating connectionist and symbolic computations | Montesi, D |
1-Jan-2015 | High quality SimRank-based similarity search | Yu, W; McCann, JA |
1-Jan-2016 | High volume ergonomic simulation of chairs | Department of Computing, Imperial College London |
1-Jan-2008 | Hotspot detection of SPEC CPU 2006 benchmarks with performance event counters | Wu, Q; Mencer, O; Tavares, C; Atasu, K |
1-Jan-2015 | Hybrid session veri cation through endpoint API generation | Hu, R; Yoshida, N |
30-Sep-2011 | Imperial College Computing Student Workshop | Jones, AV |
29-Oct-1998 | Implications of laws of software evolution on continuing successful use of COTS software | Lehmann, MM; Ramil, JF |
1-Jan-2014 | Improving classification accuracy of response in leukaemia treatment using feature selection over pathway segmentation | Hira, ZM; Gillies, D; Curry, E |
1-Jan-2005 | Inference of gene relations from microarray data by abduction | Papatheodorou, I; Kakas, A; Sergot, M |
1-Dec-2000 | Interactive multi-attribute decision making, based on quadratic programming | Kriwaczek, F; Rustem, B |
1-Jan-2016 | Interconnection networks in session-based logical processes | Toninho, B; Yoshida, N |
1-Jan-2003 | Interpretation of hidden node methodology with network accuracy | Bang, J-W; Pappas, A; Gillies, D |
1-Sep-2000 | Investigations in grounded semantics for multi-agent systems specification via deontic logic | Lomuscio, A; Sergot, M |
1-Jan-2009 | Isolating JavaScript with filters, rewriting, and wrappers | Maffeis, S; Mitchell, JC; Taly, A |
6-Feb-1998 | Java 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