Computing Technical Reports : [241] Collection home page

Collection's Items (Sorted by Title in Ascending order): 1 to 20 of 241
Issue DateTitleAuthor(s)
Jul-200824th UK performance engineering workshopKatwala-Argent, A; Dingle, N; Harder, U
1-Jan-20083S: program instrumentation and characterisation frameworkSpacey, SA
1-Jan-1995A bounding circle for the attractor of an IFSEdalat, A
25-Mar-1996A compromised characterization to belief revisionDargam, FCC
1-Jan-2002A connectionist inductive learning system for modal logic programmingD'Avila Garcez, AS; Lamb, LC; Gabbay, DM
1-Jan-2009A cut-free proof theory for boolean BI (via display logic)Brotherston, J
1-Jan-2009A first cut of the military QoI attribute space and hypothesis structure for abductive reasoningThornley, DJ; Harvey, MP
1-Jan-2013A fluid model for closed queueing networks with PS stationsPerez, JF; Casale, G
1-Jan-2008A formal framework for policy analysisCraven, R; Lobo, J; Lupu, E; Ma, J; Russo, A, et al
1-Jan-2005A framework for security analysis of mobile wireless networksNanz, S; Hankin, C
1-Jan-2008A game-theoretic perspective on the notion of argument strength in abstract argumentationMatt, P-A; Toni, F
1-Mar-2001A general pricing scheme for the simplex methodMaros, I
1-Jan-2001A generalized dual phase-2 simplex algorithmMaros, I
1-Jan-2001A generalized dual phase-2 simplex algorithm1Maros, I
1-Jan-2007A genetic algorithm for automated model formulationEzechukwu, O; Maros, I
1-Nov-1997A globally convergent primal-dual interior point algorithm for general non-linear programmingAkrotirianakis, I; Rustem, B
1-Jan-2004A maximum uncertainty LDA-based approach for limited sample size problems – with application to Face RecognitionThomaz, CE; Gillies, D
1-Mar-1997A methodology to assist with a distributed information discovery process for autonomous databasesZisman, A
1-Jan-2007A multiobjective dynamic nonlinear robot assignment problemRuuth, S; Maros, I; Nieminen, K
1-Jan-2001A paradigm for the behavioural modelling of software processes using system dynamicsLehman, MM; Ramil, JF; Kahen, G
Collection's Items (Sorted by Title in Ascending order): 1 to 20 of 241