Items where Subject is "Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences"

Group by: Author(s) | Item Type

Jump to: A | B | C | D | E | F | G | H | J | K | L | M | N | P | R | S | T | W | X | Y | Z

Number of items: 153.

A

Arnold, Denise Y. and Helmer, Sven and Velásquez Arando, R. (2009) Towards building a knowledge base for research on Andean weaving. In: Sexton, A. (ed.) Dataspace: The Final Frontier. Lecture Notes in Computer Science 5588. Berlin, Germany: Springer Verlag, pp. 180-188. ISBN 9783642028434.

Artale, A. and Calvanese, D. and Kontchakov, Roman and Zakharyaschev, Michael (2009) Adding weight to DL-Lite. In: Cuenca Grau, B. and Horrocks, I. and Motik, B. and Sattler, U. (eds.) Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. CEUR Workshop Proceedings 477. CEUR Workshop Proceedings.

Artale, A. and Calvanese, D. and Kontchakov, Roman and Zakharyaschev, Michael (2009) The DL-Lite family and relations. Journal of Artificial Intelligence Research 36 (1), pp. 1-69. ISSN 1076-9757.

Artale, A. and Calvanese, D. and Kontchakov, Roman and Zakharyaschev, Michael (2009) DL-Lite without UNA. In: Cuenca Grau, B. and Horrocks, I. and Motik, B. and Sattler, U. (eds.) Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. CEUR Workshop Proceedings 477. CEUR Workshop Proceedings.

Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2009) DL-Lite with temporalised concepts, rigid axioms and roles. In: Ghilardi, S. and Sebastiani, R. (eds.) Frontiers of Combining Systems. Lecture Notes in Computer Science 5749. Berlin, Germany: Springer, pp. 133-148. ISBN 9783642042218.

Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2009) Extending DL-Lite sometime in the future. In: Cuenca Grau, B. and Horrocks, I. and Motik, B. and Sattler, U. (eds.) Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. CEUR Workshop Proceedings 477. CEUR Workshop Proceedings.

Aziz, H. and Lachish, Oded and Paterson, M. and Savani, R. (2009) Power indices in spanning connectivity games. In: Goldberg, A. and Zhou, Y. (eds.) Algorithmic Aspects in Information and Management. Lecture Notes in Computer Science 5564. Berlin, Germany: Springer Verlag, pp. 55-67. ISBN 9783642021572.

Aziz, H. and Lachish, Oded and Paterson, M. and Savani, R. (2009) Wiretapping a hidden network. In: Leonardi, S. (ed.) Internet and Network Economics. Lecture Notes in Computer Science 5929. Berlin, Germany: Springer Verlag, pp. 438-446. ISBN 9783642108419.

B

Bar-Ilan, J. and Keenoy, K. and Levene, Mark and Yaari, E. (2009) Presentation bias is significant in determining user preference for search results - a user study. Journal of the American Society for Information Science Technology 60 (1), pp. 135-149. ISSN 1532-2882.

Barranco, C.D. and Helmer, Sven (2009) Increasing the performance of fuzzy retrieval using impact ordering. In: Carvalho, J.P. and Dubois, D. and Kaymak, U. and Sousa, J.M.C. (eds.) Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference. IFSA-EUSFLAT, pp. 957-962. ISBN 9789899507968.

Bates, C. and Bundy, D. and Hart, Sarah and Rowley, P.J. (2009) A note on commuting graphs for symmetric groups. Electronic Journal of Combinatrics 16 (1), ISSN 1077-8926.

Ben-Sasson, E. and Harsha, P. and Lachish, Oded and Matsliah, A. (2009) Sound 3-query PCPPs are long. ACM Transactions on Computation Theory 1 (2), pp. 1-49. ISSN 1942-3454.

Brun, Y. and di Marzo Serugendo, Giovanna and Gacek, C. and Giese, H. and Kienle, H.M. and Litoiu, M. and Muller, H.A. and Pezze, P. and Shaw, M. (2009) Engineering self-adaptive systems through feedback loops. In: Cheng, B.H.C. and Lemos, R. and Giese, H. and Inverardi, P. and Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. Lecture Notes in Computer Science 5525. Berlin, Germany: Springer, pp. 48-70. ISBN 9783642021602.

Bryan-Kinns, N. and Airantzis, D. and Angus, A. and Fencott, R. and Lane, G. and Lesage, F. and Marshall, J. and Martin, K. and Roussos, George and Taylor, J. and Warren, L. and Woods, O. (2009) Sensory threads: perceiving the imperceptible. In: Callaghan, V. and Kameas, A. and Reyes, A. and Royo, D. and Weber, M. (eds.) Intelligent Environments: Proceedings of the 5th International Conference on Intelligent Environments. Ambient Intelligence and Smart Environments 2. Lansdal, USA: IOS Press, pp. 404-410. ISBN 9781607504481.

Bundy, D. and Hart, Sarah (2009) The case of equality in the Livingstone-Wagner Theorem. Journal of Algebraic Combinatorics 29 (2), pp. 215-227. ISSN 0925-9899.

C

Calì, Andrea and Calvanese, D. and Martinenghi, D. (2009) Dynamic query optimization under access limitations and dependencies. Journal of Universal Computer Science 15 (1), pp. 33-62. ISSN 0948-695x.

Calì, Andrea and Gottlob, G. and Lukasiewicz, T. (2009) Datalog extensions for tractable query answering over ontologies. In: de Virgilio, R. and Giunchiglia, F. and Tanca, L. (eds.) Semantic Web Information Management. Berlin, Germany: Springer, pp. 249-279. ISBN 9783642043284.

Calì, Andrea and Gottlob, G. and Lukasiewicz, T. (2009) Datalog±: a unified approach to ontologies and integrity constraints. In: Fagin, R. (ed.) Proceedings of the 12th International Conference on Database Theory - ICDT '09. ACM International Conference Proceeding Series 361. New York, U.S.: ACM Publications, pp. 14-30. ISBN 9781605584232.

Calì, Andrea and Gottlob, G. and Lukasiewicz, T. (2009) Tractable query answering over ontologies with datalog. In: Cuenca Grau, B. and Horrocks, I. and Motik, B. and Sattler, U. (eds.) Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. CEUR Workshop Proceedings 477. CEUR Workshop Proceedings.

Calì, Andrea and Gottlob, G. and Lukasiewicz, T. (2009) A general datalog-based framework for tractable query answering over ontologies. In: Paredaens, J. and Su, J. (eds.) Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '09. New York, U.S.: ACM Publications, pp. 77-86. ISBN 9781605585536.

Calì, Andrea and Gottlob, G. and Pieris, A. (2009) Tractable query answering over conceptual schemata. In: Laender, A.H.F. and Castano, S. and Dayal, U. and Casati, F. and Oliverira, J.P.M. (eds.) 28th International Conference on Conceptual Modeling. Lecture Notes in Computer Science 5829. Berlin, Germany: Springer, pp. 175-190. ISBN 9783642048401.

Calì, Andrea and Lakshmanan, L.V.S. and Martinenghi, D. (2009) Logic in databases. ACM SIGMOD Record 38 (3), pp. 44-49. ISSN 0163-5808.

Calì, Andrea and Lukasiewicz, T. and Predoiu, L. and Stuckenschmidt, H. (2009) Tightly coupled probabilistic description logic programs for the semantic web. In: Spaccapietra, S. (ed.) Journal on Data Semantics XII. Lecture Notes in Computer Science 5480. Berlin, Germany: Springer, pp. 95-130. ISBN 9783642006845.

Calì, Andrea and Torlone, R. (2009) Checking containment of schema mappings. In: Arenas, M. and Bertossi, L.E. (eds.) Proceedings of the 3rd Alberto Mendelzon International Workshop on Foundations of Data Management, Arequipa, Peru, May 12-15, 2009. CEUR Workshop Proceedings 450. CEUR Workshop Proceedings.

Charlton, P. and Grigoriadou, M. and Laurillard, D. and Magoulas, George D. (2009) Enabling creative learning design: how HCI, user modelling and human factors help. In: Dimitrova, V. and Mizoguchi, R. and du Boulay, B. and Graesser, A. (eds.) Artificial Intelligence in Education. Frontiers in Artificial Intelligence and Applications 200. Amsterdam, Netherlands: IOS Press, p. 813. ISBN 9781607500285813.

Cheng, B.H.C. and de Lemos, R. and Giese, H. and Inverardi, P. and Magee, J. and Andersson, J. and Becker, B. and Bencomo, N. and Brun, Y. and Cukic, B. and di Marzo Serugendo, Giovanna and Dustdar, S. and Finkelstein, A. and Gacek, C. and Geihs, K. and Grassi, V. and Karsai, G. and Kienle, H.M. and Kramer, J. and Litoiu, M. and Malek, S. and Mirandola, R. and Muller, H.A. and Park, S. and Shaw, M. and Tichy, M. and Tivoli, M. and Weyns, D. and Whittle, J. (2009) Software engineering for self-adaptive systems: a research roadmap. In: Cheng, B.H.C. and Lemos, R. and Giese, H. and Inverardi, P. and Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. Lecture Notes in Computer Science 5525. Amsterdam, The Netherlands: Springer, pp. 1-26. ISBN 9783642021602.

Cocea, C. and Hershkovitz, A. and Baker, R.S.J.D. (2009) The impact of off-task and gaming behaviors on learning: immediate or aggregate? In: Dimitrova, V. and Mizoguchi, R. and du Boulay, B. and Graesser, A. (eds.) Artificial Intelligence in Education Building Learning Systems that Care: From Knowledge Representation to Affective Modelling. Frontiers in Artificial Intelligence and Applications 200. Amsterdam, The Netherlands: IOS Press, pp. 507-514. ISBN 9781607500285.

Cocea, Mihaela and Magoulas, George D. (2009) Context-dependent personalised feedback prioritisation in exploratory learning for mathematical generalisation. In: Houben, G.-J. and McCalla, G. and Pianesi, F. and Zancanaro, M. (eds.) User Modeling, Adaptation, and Personalization. Berlin, Germany: Springer Verlag, pp. 271-282. ISBN 9783642022463.

Cocea, Mihaela and Magoulas, George D. (2009) Hybrid model for learner modelling and feedback prioritisation in exploratory learning. International Journal of Hybrid Intelligent Systems 6 (4), pp. 211-230. ISSN 1448-5869.

Cocea, Mihaela and Magoulas, George D. (2009) Identifying strategies in user's exploratory learning behaviour for mathematical generalisation. In: UNSPECIFIED (ed.) Artificial Intelligence in Education. Frontiers in Artificial Intelligence and Applications 200. Amsterdam, Netherlands: IOS Press, pp. 626-628. ISBN 9781607500285626.

Colunga, M.C. and Siordia, O.S. and Maybank, Stephen J. (2009) Leukocyte recognition using EM-algorithm. In: Hernandez Aguirre, A. and Monroy Borja, R. and Reyes Garcia, C.A. (eds.) MICAI 2009: Advances in Artificial Intelligence. Lecture Notes in Computer Science 5845. Berlin, Germany: Springer, pp. 545-555. ISBN 9783642052576.

D

Demri, S. and Jurdziński, M. and Lachish, Oded and Lazić, R. (2009) The covering and boundedness problems for branching vector addition systems. In: Kannan, R. and Kumar, K.N. (eds.) IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Leibniz International Proceedings in Informatics 4. Dagstuhl, Germany: Schloss Dagstuhl, pp. 181-192. ISBN 9783939897132.

Deng, C. and Gao, X. and Li, Xuelong and Tao, D. (2009) A local Tchebichef moments-based robust image watermarking. Signal Processing 89 (8), pp. 1531-1539. ISSN 0165-1684.

Dimakopoulos, D.N. and Magoulas, George D. (2009) Interface design and evaluation of a personal information space for mobile learners. International Journal of Mobile Learning and Organisation 3 (4), pp. 440-463. ISSN 1746-725X.

Dimakopoulos, D.N. and Magoulas, George D. (2009) An architecture for a personalised mobile environment to facilitate contextual lifelong learning. In: Ryu, H. and Parsons, D. (eds.) Innovative Mobile Learning: Techniques and Technologies. Hershey, U.S.: IGI Global, pp. 232-254. ISBN 9781605660622.

Duan, L. and Tsang, I.W. and Xu, D. and Maybank, Stephen J. (2009) Domain transfer SVM for video concept detection. In: IEEE Conference on Computer Vision and Pattern Recognition, 2009: CVPR 2009, 20-25 June 2009, Miami, U.S..

de Freitas, Sara and Rebolledo-Mendez, G. and Liarokapis, F. and Magoulas, George D. and Poulovassilis, Alexandra (2009) Developing an evaluation methodology for immersive learning experiences in a virtual world. In: UNSPECIFIED (ed.) Conference in Games and Virtual Worlds for Serious Applications. New York, USA: Institute of Electrical and Electronics Engineers, pp. 43-50. ISBN 9780769535883.

di Marzo Serugendo, Giovanna (2009) Robustness and dependability of self-organizing systems: a safety engineering perspective. In: Guerraoui, R. and Petit, F. (eds.) Stabilization, Safety, and Security of Distributed Systems. Lecture Notes in Computer Science 5873. Heidelberg, Germany: Springer Verlag, pp. 254-268. ISBN 9783642051173.

di Marzo Serugendo, Giovanna and Fitzgerald, J. (2009) Designing and controlling trustworthy self-organising systems. PerAda Magazine ,

E

Eggemann, N. and Noble, Steven (2009) Minimizing the Oriented Diameter of a Planar Graph. Electronic Notes in Discrete Mathematics 34 , pp. 267-271. ISSN 1571-0653.

F

Fairbairn, Ben and Curtis, R. (2009) Symmetric representation of the elements of the Conway group .0. Journal of Symbolic Computation 44 (8), pp. 1044-1067. ISSN 0747-7171.

Fairbairn, Ben and Muller, J. (2009) Symmetric generation of coxeter groups. Archiv der Mathematik 93 (1), pp. 1-10. ISSN 0003-889X.

Ferranti, E. and Trigoni, N. and Levene, Mark (2009) Rapid exploration of unknown areas through dynamic deployment of mobile and stationary sensor nodes. Autonomous Agents and Multi-Agent Systems 19 (2), pp. 210-243. ISSN 1387-2532.

Frei, R. and Ferrara, B. and di Marzo Serugendo, Giovanna and Barata, J. (2009) An architecture for self-managing evolvable assembly systems. In: 2009 IEEE international conference on Systems, Man and Cybernetics, October 11-14, 2009, Texas, U.S..

G

Galitsky, Boris A. and Gonzalez, M. and Chesnevar, C. (2009) A novel approach for classifying customer complaints through graphs similarities in argumentative dialogues. Decision Support Systems 46 (3), pp. 717-729. ISSN 0167-9236.

Gannon, Brian and Wilson, David W. (2009) The emergence of a new form of IS offshore enterprise - The modern heterarchy. In: European Conference on Information Systems, 8-10 June 2009, Verona, Italy.

Gannon, Brian and Wilson, David W. (2009) The emergence of a new form of IS offshore enterprise: the modern heterarchy. In: Newell, S. and Whitley, E.A. and Pouloudi, N. and Wareham, J. and Mathiassen, L. (eds.) 17th European Conference on Information Systems. ECIS, pp. 194-205. ISBN 9788861293915.

Gao, X. and An, L. and Li, Xuelong and Tao, D. (2009) Reversibility improved lossless data hiding. Signal Processing 89 (10), pp. 2053-2065. ISSN 0165-1684.

Gao, X. and Li, Xuelong and Feng, J. and Tao, D. (2009) Shot-based video retrieval with optical flow tensor and HMMs. Pattern Recognition Letters 30 (2), pp. 140-147. ISSN 0167-8655.

Gao, X. and Lu, W. and Tao, D. and Li, Xuelong (2009) Image quality assessment based on multiscale geometric analysis. Transactions on Image Processing 18 (7), pp. 1409-1423. ISSN 1057-7149.

Gao, X. and Su, Y. and Li, Xuelong and Tao, D. (2009) Gabor texture in active appearance models. Neurocomputing 72 (13-15), pp. 3174-3181. ISSN 0925-2312.

Gao, X. and Xiao, B. and Tao, D. and Li, Xuelong (2009) A comparative study of three graph edit distance algorithms. In: UNSPECIFIED (ed.) Foundations of Computational Intelligence. Studies in Computational Intelligence 5 205. Berlin, Germany: Springer Verlag, pp. 223-242. ISBN 9783642015359.

Gao, X. and Yang, Y. and Tao, D. and Li, Xuelong (2009) Discriminative optical flow tensor for video semantic analysis. Computer Vision and Image Understanding 113 (3), pp. 372-383. ISSN 1077-3142.

Ghosh, M. and Papageorgiou, Georgios and Forrester, J. (2009) Multivariate limited translation hierarchical Bayes estimators. Journal of Multivariate Analysis 100 (7), pp. 1398-1411. ISSN 0047-259X.

Guidici, M. and Hart, Sarah (2009) Small maximal sum-free sets. Electronic Journal of Combinatorics 16 (1), ISSN 1077-8926.

Gutierrez-Santos, Sergio and Muñoz-Organero, M. and Pardo, A. and Delgado Kloos, C. (2009) Context-aware combination of adapted user profiles for interchange of knowledge between peers. In: Cress, U. and Dimitrova, V. and Specht, M. (eds.) Learning in the Synergy of Multiple Disciplines. Lecture Notes in Computer Science 5794. Berlin, Germany: Springer Verlag, pp. 782-787. ISBN 978-3-642-04636-0.

Gutin, G. and Karapetyan, D. and Razgon, Igor (2009) Fixed-parameter algorithms in analysis of heuristics for extracting networks in linear programs. In: Chen, J. and Fomin, F.V. (eds.) Parameterized and Exact Computation. Lecture Notes in Computer Science 5917. Berlin, Germany: Springer Verlag, pp. 222-233. ISBN 9783642112690.

Gutin, G. and Razgon, Igor and Kim, E.J. (2009) Minimum leaf out-branching and related problems. Theoretical Computer Science 410 (45), pp. 4571-4579. ISSN 0304-3975.

H

Han, Tingting and Katoen, J.-P. and Berteun, D. (2009) Counterexample generation in probabilistic model checking. IEEE Transactions on Software Engineering 35 (2), pp. 241-257. ISSN 0098-5589.

Hansen, K.A. and Lachish, Oded and Miltersen, P.B. (2009) Hilbert’s thirteenth problem and circuit complexity. In: Dong, Y.F. and Du, D.-Z. and Ibarra, O.H. (eds.) Algorithms and Computation. Lecture Notes in Computer Science 5878. Berlin, Germany: Springer Verlag, pp. 153-162. ISBN 9783642106316.

Hart, Sarah and Rowley, P.J. (2009) Poincaré series of cosets in Coxeter groups. Algebra Colloquium 16 (4), pp. 567-574. ISSN 1005-3867.

Hebrard, E. and Marx, D. and O’Sullivan, B. and Razgon, Igor (2009) Constraints of difference and equality: a complete taxonomic characterisation. In: Gent, I.P. (ed.) Principles and Practice of Constraint Programming - CP 2009. Lecture Notes in Computer Science 5732. Berlin, Germany: Springer Verlag, pp. 424-438. ISBN 9783642042447.

Hu, W. and Hu, W. and Xie, N. and Maybank, Stephen J. (2009) Unsupervised active learning based on hierarchical graph-theoretic clustering. IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics 39 (5), pp. 1147-1161. ISSN 1083-4419.

Huang, K. and Tao, D. and Yuan, Y. and Li, Xuelong and Tan, T. (2009) View-independent behavior analysis. Transactions on Systems, Man, and Cybernetics 39 (4), pp. 1028-1035. ISSN 1083-4419.

Huang, K. and Wang, S. and Tan, T. and Maybank, Stephen J. (2009) Human behavior analysis based on a new motion descriptor. IEEE Transactions on Circuits and Systems for Video Technology 19 (12), pp. 1830-1840. ISSN 1051-8215.

Huang, Y. and Bessis, N. and Brocco, A. and Sotiriadis, Stelios and Courant, M. and Kuonen, P. and Hisbrunner, B. (2009) Towards an integrated vision across inter-cooperative grid virtual organizations. In: Lee, Y.H. and Slezak, D. (eds.) Future Generation Information Technology. Lecture Notes in Computer Science 5899. Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 120-128. ISBN 9783642105081.

Hurtado, C.A. and Poulovassilis, Alexandra and Wood, Peter T. (2009) Finding Top-k approximate answers to path queries. In: Andreasen, T. and Yager, R.R. and Bulskov, H. and Christiansen, H. and Larsen, H.L. (eds.) Flexible Query Answering Systems. Lecture Notes In Computer Science 5822. Berlin, Germany: Springer, pp. 465-476. ISBN 9783642049569.

Hurtado, C.A. and Poulovassilis, Alexandra and Wood, Peter T. (2009) Ranking approximate answers to semantic web queries. In: Aroyo, L. and Traverso, P. and Ciravegna, F. and Cimiano, P. and Heath, T. and Hyvonen, E. and Mizoguchi, R. and Oren, E. and Sabou, M. and Simperl, E. (eds.) The Semantic Web: Research and Applications. Lecture Notes In Computer Science 5554. Berlin, Germany: Springer, pp. 263-277. ISBN 9783642021206.

J

Johannsen, D. and Razgon, Igor and Wahlström, M. (2009) Solving SAT for CNF formulas with a one-sided restriction on variable occurrences. In: Kullmann, O. (ed.) Theory and Applications of Satisfiability Testing. Lecture Notes in Computer Science 5584. Berlin, Germany: Springer Verlag, pp. 80-85. ISBN 9783642027765.

K

Kikot, Stanislav (2009) An extension of Kracht's theorem to generalized Sahlqvist formulas. Journal of Applied Non-Classical Logics 19 (2), pp. 227-251. ISSN 1166-3081.

Kontchakov, Roman and Lutz, C. and Toman, D. and Wolter, F. and Zakharyaschev, Michael (2009) Combined FO rewritability for conjunctive query answering in DL-Lite. In: Cuenca Grau, B. and Horrocks, I. and Motik, B. and Sattler, U. (eds.) Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. CEUR Workshop Proceedings 477. CEUR Workshop Proceedings.

Kontchakov, Roman and Pulina, L. and Sattler, U. and Schneider, T. and Selmer, Petra and Wolter, F. and Zakharyaschev, Michael (2009) Minimal module extraction from DL-Lite ontologies using QBF solvers. In: Boutilier, C. (ed.) IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009. California, U.S.: AAAI Press, pp. 836-841. ISBN 9781577354260.

L

Labeke, N. and Magoulas, George D. and Poulovassilis, Alexandra (2009) Searching for “people like me” in a lifelong learning system. In: Cress, U. and Dimitrova, V. and Specht, M. (eds.) Learning in the Synergy of Multiple Disciplines. Lecture Notes in Computer Science 5794. Berlin, Germany: Springer Verlag, pp. 106-111. ISBN 9783642046360.

Lewis, T.E. and Magoulas, George D. (2009) Strategies to minimise the total run time of cyclic graph based genetic programming with GPUs. In: UNSPECIFIED (ed.) Proceedings of the 11th Annual conference on Genetic and evolutionary computation - GECCO '09. New York, U.S.: ACM Press, pp. 1379-1386. ISBN 9781605583259.

Li, Xuelong and Tao, D. and Gao, X. and Lu, W. (2009) A natural image quality evaluation metric. Signal Processing 89 (4), pp. 548-555. ISSN 0165-1684.

Litak, T. and Helmer, Sven (2009) On the termination problem for declarative xml message processing. In: Bhowmick, S.S. and Küng, J. and Wagner, R. (eds.) Database and Expert Systems Applications. Berlin, Germany: Springer Verlag, pp. 83-97. ISBN 9783642035739.

M

Magoulas, George D. and Cocea, Mihaela (2009) Task-oriented modeling of learner behaviour in exploratory learning for mathematical generalisation. In: 2nd International Workshop on Intelligent Support for Exploratory Environments - in conjunction with the 14th International Conference on Artificial Intelligence in Education, July 6-7, 2009, Brighton, UK. (Unpublished)

Magoulas, George D. and Cocea, Mihaela and Gutierrez-Santos, Sergio (2009) Enhancing modelling of users’ strategies in exploratory learning through case-base maintenance. In: 14th UK Workshop on Case-Based Reasoning, December 15, 2009, Cambridge, UK. (Unpublished)

Magoulas, George D. and Papaioannou, D. and Papadimou, E. and Drainas, D. (2009) Preparation of spermine conjugates with acidic retinoids with potent ribonuclease P inhibitory activity. European Journal of Medicinal Chemistry 44 (6), pp. 2689-2695. ISSN 0223-5234.

Martin, K.M. and Paterson, Maura B. (2009) Ultra-lightweight key predistribution in wireless sensor networks for monitoring linear infrastructure. In: Markowitch, O. and Bilas, A. and Hoepman, J.H. and Mitchell, C.J. and Quisquater, J.J. (eds.) Information Security Theory and Practice. Smart Devices, Pervasive Systems, and Ubiquitous Networks. Lecture Notes in Computer Science 5746. Berlin, Germany: Springer, p. 152. ISBN 9783642039447.

Marx, D. and Razgon, Igor (2009) Constant ratio fixed-parameter approximation of the edge multicut problem. In: Fiat, A. and Sanders, P. (eds.) Algorithms. Berlin, Germany: Springer Verlag, pp. 647-658. ISBN 9783642041280.

Marx, D. and Razgon, Igor (2009) Constant ratio fixed-parameter approximation of the edge multicut problem. Information Processing Letters 109 (20), pp. 1161-1166. ISSN 0020-0190.

Mavrikis, M. and Gutierrez-Santos, Sergio (2009) Informing the design of intelligent support for ELE by communication capacity tapering. In: Cress, U. and Dimitrova, V. and Specht, M. (eds.) Learning in the Synergy of Multiple Disciplines. Lecture Notes in Computer Science 5794. Berlin, Germany: Springer Verlag, pp. 556-571. ISBN 9783642046360.

Mavrikis, M. and Gutierrez-Santos, Sergio and Mulholland, P. (2009) Intelligent support for exploratory environments. In: Dimitrova, V. and Mizoguchi, R. and du Boulay, B. and Graesser, A. (eds.) Artificial Intelligence in Education: Building Learning Systems That Care: From Knowledge Representation to Affective Modelling. Frontiers in Artificial Intelligence and Applications 200. Amsterdam, Netherlands: IOS Press, p. 815. ISBN 9781607500285.

McDonald, A. and Helmer, Sven (2009) Cultural differences in information technology project management between Indonesia and the UK. In: Culture in Information Systems Research, May 14, 2009, Leicester, UK. (Unpublished)

Merino, C. and Noble, Steven (2009) The equivalence of Two Graph Polynomials and a Symmetric Function. Combinatorics, Probability and Computing 18 (4), pp. 601-615. ISSN 0963-5483.

Mikulás, Szabolcs (2009) Algebras of relations and relevance logic. Journal of Logic and Computation 19 (2), pp. 305-321. ISSN 0955-792X.

Mikulás, Szabolcs and Reynolds, Mark and French, Tim (2009) Axiomatizations for temporal epistemic logic with perfect recall over linear time. In: 16th International Symposium on Temporal Representation and Reasoning, 23-25 July 2009, Bressanone-Brixen, Italy.

Mirkin, Boris and Gutman, P.O. (2009) Adaptive output-feedback tracking: the case of MIMO plants with unknown, time-varying state delay. Systems & Control Letters 58 (1), pp. 62-68. ISSN 0167-6911.

Mirkin, Boris and Levene, Mark (2009) Special issue on profiling expertise and behaviour. Computer Journal 52 (7), pp. 727-728. ISSN 0010-4620.

Mitton, Roger (2009) Ordering the suggestions of a spellchecker without using context. Natural Language Engineering 15 (2), pp. 173-192. ISSN 1351-3249.

Mu, Y. and Tao, D. and Li, Xuelong and Murtagh, F. (2009) Biologically inspired tensor features. Cognitive Computation 1 (4), pp. 327-341. ISSN 1866-9956.

Murphy, S. and Paterson, Maura B. (2009) Geometric ideas for cryptographic equation solving in even characteristic. In: Parker, M.G. (ed.) Cryptography and Coding. Lecture Notes in Computer Science 5921. Berlin, Germany: Springer, pp. 202-221. ISBN 9783642108679.

N

Noble, Steven (2009) Evaluating a Weighted Graph Polynomial for Graphs of Bounded Tree-Width. The Electronic Journal of Combinatorics 16 (1), R64. ISSN 1077-8926.

P

Pan, J. and Pang, Y. and Li, Xuelong and Yuan, Y. and Tao, D. (2009) A fast feature extraction method. In: UNSPECIFIED (ed.) Acoustics, Speech and Signal Processing. New York, USA: Institute of Electrical and Electronics Engineers, pp. 1797-1800. ISBN 9781424423538.

Pang and Li, Xuelong and Yuan, Y. and Tao, D. and Pang, Y. (2009) Fast haar transform based feature extraction for face representation and recognition. Transactions on Information Forensics and Security 4 (3), pp. 441-450. ISSN 1556-6013.

Papapetrou, Panagiotis and Athitsos, V. and Kollios, G. and Gunopulos, D. (2009) Reference-based alignment in large sequence databases. Proceedings of the VLDB Endowment 2 (1), pp. 205-216. ISSN 2150-8097.

Papapetrou, Panagiotis and Doliotis, P. and Athitsos, V. (2009) Towards faster activity search using embedding-based subsequence matching. In: UNSPECIFIED (ed.) Proceedings of the 2nd International Conference on PErvsive Technologies Related to Assistive Environments. New York, USA: ACM Publications, pp. 1-8. ISBN 9781605584096.

Papapetrou, Panagiotis and Kollios, G. and Sclaroff, S. and Gunopulos, D. (2009) Mining frequent arrangements of temporal intervals. Knowledge and Information Systems 21 (2), pp. 133-171. ISSN 0219-1377.

Paterson, Maura B. and Stinson, D.R. (2009) Two attacks on a sensor network key distribution scheme of Cheng and Agrawal. Journal of Mathematical Cryptology 2 (4), pp. 393-403. ISSN 1862-2976.

Pearce, D. and Geraniou, E. and Gutierrez-Santos, Sergio and Mavrikis, M. and Cocea, Mihaela and Hoyles, C. and Kahn, K. and Magoulas, George D. and Noss, R. and Poulovassilis, Alexandra and Winters, N. (2009) An eco-friendly intelligent environment for exploring mathematical generalisation. In: Dimitrova, V. and Mizoguchi, R. and du Boulay, B. and Graesser, A. (eds.) Building Learning Systems that Care: From Knowledge Representation to Affective Modelling. Frontiers in Artificial Intelligence and Applications: Artificial Intelligence in Education 200. Amsterdam, Netherlands: IOS Press, p. 804. ISBN 9781607500285.

Pearce, D. and Poulovassilis, Alexandra (2009) The conceptual and architectural design of a system supporting exploratory learning of mathematics generalisation. In: Cress, U. and Dimitrova, V. and Specht, M. (eds.) Learning in the Synergy of Multiple Disciplines. Berlin, Germany: Springer Verlag, pp. 22-36. ISBN 9783642046353.

Peng, C.C. and Magoulas, George D. (2009) Nonmonotone learning of recurrent neural networks in symbolic sequence processing applications. pp. 325-335. ISSN 1865-0929.

Peng, C.C. and Magoulas, George D. (2009) Sequence processing with recurrent neural networks. In: Rabuñal Dopico, J.R. and Dorado, J. and Pazos, A. (eds.) Encyclopedia of Artificial Intelligence. Hershey, U.S.: IGI Global, pp. 1411-1417. ISBN 9781599048499.

Poulovassilis, Alexandra (2009) Data integration architectures and methodology for the life sciences. In: Liu, L. and Özsu, M.T. (eds.) Encyclopedia of Database Systems. Springer US, pp. 585-590. ISBN 9780387355443.

Price, S. and Falcão, T.P. and Sheridan, J.G. and Roussos, George (2009) The effect of representation location on interaction in a tangible learning environment. In: UNSPECIFIED (ed.) Proceedings of the 3rd International Conference on Tangible and Embedded Interaction. New York, USA: ACM Publications, pp. 85-92. ISBN 9781605584935.

R

Razgon, Igor (2009) Faster computation of maximum independent set and parameterized vertex cover for graphs with maximum degree 3. Journal of Discrete Algorithms 7 (2), pp. 191-212. ISSN 1570-8667.

Razgon, Igor and O'Sullivan, B. (2009) Almost 2-SAT is fixed-parameter tractable. Journal of Computer and System Sciences 75 (8), pp. 435-450. ISSN 0022-0000.

Roussos, George and Duri, S.S. and Thompson, C.W. (2009) RFID meets the internet. IEEE Internet Computing 13 (1), pp. 11-13. ISSN 1089-7801.

Roussos, George and Kostakos, V. (2009) RFID in pervasive computing: state-of-the-art and outlook. Pervasive and Mobile Computing 5 (1), pp. 110-131. ISSN 1574-1192.

Roussos, George and Lee, D.G. and Hussain, S. and Zhang, Y. (2009) Editorial: special issue on "security and multimodality in pervasive environments". Wireless Personal Communications 55 (1), pp. 1-4. ISSN 0929-6212.

S

Sadikoglou, E. and Magoulas, George D. and Theodoropoulou, C. and Athanassopoulos, C.M. and Giannopoulou, E. and Theodorakopoulou, O. and Drainas, D. and Papaioannou, D. and Papadimitriou, E. (2009) Effect of conjugates of all-trans-retinoic acid and shorter polyene chain analogues with amino acids on prostate cancer cell growth. European Journal of Medicinal Chemistry 44 (8), pp. 3175-3187. ISSN 0223-5234.

Shan, S. and Liu, Q. and Tao, D. and Xu, D. and Yan, S. and Li, Xuelong (2009) Introduction to the special issue on video-based object and event analysis. Pattern Recognition Letters 30 (2), p. 87. ISSN 0167-8655.

Shen, J. and Tao, D. and Li, Xuelong (2009) QUC-tree: integrating query context information for efficient music retrieval. Transactions on Multimedia 11 (2), pp. 313-323. ISSN 1520-9210.

Shen, J. and Tao, D. and Li, Xuelong (2009) Robust semantic concept detection in large video collections. In: UNSPECIFIED (ed.) International Conference on Systems, Man and Cybernetics. New York, USA: Institute of Electrical and Electronics Engineers, pp. 635-638. ISBN 9781424427932.

Sheridan, J.G. and Tompkin, J. and Maciel, A. and Roussos, George (2009) DIY design process for interactive surfaces. In: UNSPECIFIED (ed.) Proceedings of the 23rd British HCI Group Annual Conference on People and Computers: Celebrating People and Technology. Swinton, UK: British Computer Society, pp. 485-493. ISBN 9781568812397.

Stinson, D.R. and Wei, R. and Paterson, Maura B. (2009) Combinatorial batch codes. Advances in Mathematics of Communications 3 (1), pp. 13-27. ISSN 1930-5346.

Su, Y. and Tao, D. and Li, Xuelong and Gao, X. (2009) Texture representation in AAM using gabor wavelet and local binary patterns. In: UNSPECIFIED (ed.) International Conference on Systems, Man and Cybernetics. New York, USA: Institute of Electrical and Electronics Engineers, pp. 3274-3279. ISBN 9781424427932.

Sulimova, V. and Mottl, V. and Mirkin, Boris and Muchnik, I. and Kulikowski, C. (2009) A class of evolution-based kernels for protein homology analysis: a generalization of the PAM model. In: Măndoiu, I. and Narasimhan, G. and Zhang, Y. (eds.) Bioinformatics Research and Applications. Lecture Notes in Computer Science 5542. Berlin, Germany: Springer Verlag, pp. 284-296. ISBN 9783642015502.

T

Tao, D. and Li, Xuelong and Lu, W. and Gao, X. (2009) Reduced-reference IQA in contourlet domain. Transactions on Systems, Man, and Cybernetics 39 (6), pp. 1623-1627. ISSN 1083-4419.

Tao, D. and Li, Xuelong and Tang, Y.Y. (2009) Learning semantics from multimedia content. Pattern Recognition 42 (2), p. 217. ISSN 0031-3203.

Tao, D. and Li, Xuelong and Wu, X. and Maybank, Stephen J. (2009) Geometric mean for subspace selection. IEEE Transactions on Pattern Analysis and Machine Intelligence 31 (2), pp. 260-274. ISSN 0162-8828.

Tao, D. and Xu, D. and Li, Xuelong (2009) Semantic mining technologies for multimedia databases. Hershey, U.S.: IGI Global. ISBN 9781605661896.

Tao, D. and Yuan, Y. and Shen, J. and Huang, K. and Li, Xuelong (2009) Visual information analysis for security. Signal Processing 89 (12), pp. 2311-2312. ISSN 0165-1684.

W

Wang, B. and Gao, X. and Tao, D. and Li, Xuelong and Li, J. (2009) The gabor-based tensor level set method for multiregional image segmentation. In: Xiaoyi, J. and Petkov, N. (eds.) Computer Analysis of Images and Patterns. Lecture Notes in Computer Science 5702. Berlin, Germany: Springer Verlag, pp. 987-994. ISBN 9783642037665.

Wang, J. and Zhou, S. and Zhang, Dell (2009) Bridging the gap. In: Cheung, D.W.-L. and Song, I.-Y. and Chu, W.W. and Hu, X. and Lin, J.J. (eds.) Proceeding of the 18th ACM conference on Information and knowledge management - CIKM '09. New York, U.S.: ACM Press, pp. 2113-2114. ISBN 9781605585123.

Wang, Y. and Gao, X. and Li, Xuelong and Tao, D. and Wang, B. (2009) Embedded geometric active contour with shape constraint for mass segmentation. In: Xiaoyi, J. and Petkov, N. (eds.) Computer Analysis of Images and Patterns. Lecture Notes in Computer Science 5702. Berlin, Germany: Springer Verlag, pp. 995-1002. ISBN 9783642037672.

Weiming, H. and Xue, Z. and Min, H. and Maybank, Stephen J. (2009) Occlusion reasoning for tracking multiple people. IEEE Transactions on Circuits and Systems for Video Technology 19 (1), pp. 114-121. ISSN 1051-8215.

Wen, J. and Li, Xuelong and Gao, X. and Tao, D. (2009) Incremental learning of weighted tensor subspace for visual tracking. In: UNSPECIFIED (ed.) International Conference on Systems, Man and Cybernetics. New York, USA: Institute of Electrical and Electronics Engineers, pp. 3688-3693. ISBN 9781424427932.

Whitrow, C. and Hand, D.J. and Juszczak, P. and Weston, David J. and Adams, N.M. (2009) Transaction aggregation as a strategy for credit card fraud detection. Data Mining and Knowledge Discovery 18 (1), pp. 30-55. ISSN 1384-5810.

Wood, Peter T. (2009) Graph database. In: Liu, L. and Özsu, M.T. (eds.) Encyclopedia of Database Systems. Springer Reference. Berlin, Germany: Springer, pp. 1263-1266. ISBN 9780387355443.

X

Xiao, B. and Gao, X. and Tao, D. and Li, Xuelong (2009) A new approach for face recognition by sketches in photos. Signal Processing 89 (8), pp. 1576-1588. ISSN 0165-1684.

Y

Yang, Y. and Zhuang, Y. and Xu, D. and Pan, Y. and Tao, D. and Maybank, Stephen J. (2009) Retrieval based interactive cartoon synthesis via unsupervised bi-distance metric learning. In: 17th ACM international conference on Multimedia (MM '09), 19-24 Oct 2009, Beijing, China.

Yuan, Y. and Li, Xuelong and Pang, Y. and Lu, X. and Tao, D. (2009) Binary sparse nonnegative matrix factorization. Transactions on Circuits and Systems for Video Technology 19 (5), pp. 772-777. ISSN 1051-8215.

Yuan, Y. and Pang, Y. and Pan, J. and Li, Xuelong (2009) Scene segmentation based on IPCA for visual surveillance. Neurocomputing 72 (10-12), pp. 2450-2455. ISSN 0925-2312.

Z

Zakharyaschev, Michael and Sattler, U. and Schneider, T. (2009) Which kind of module should I extract? In: Cuenca Grau, B. and Horrocks, I. and Motik, B. and Sattler, U. (eds.) Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. CEUR Workshop Proceedings 477. CEUR Workshop Proceedings.

Zhang, Dell and Lu, J. (2009) Batch-mode computational advertising based on modern portfolio theory. In: Azzopardi, L. and Kazai, G. and Robertson, S.E. and Ruger, S.M. and Shokouhi, M. and Song, D. and Yilmaz, E. (eds.) Advances in Information Retrieval Theory. Lecture Notes In Computer Science 386 5766. Berlin, Germany: Springer, pp. 380-383. ISBN 9783642044168.

Zhang, Dell and Lu, J. (2009) What queries are likely to recur in web search? In: Allan, J. and Aslam, J.A. and Sanderson, M. and Zhai, C. and Zobel, J. (eds.) Proceedings of the 32nd international ACM SIGIR conference on Research and development in information retrieval - SIGIR '09. New York, U.S.: ACM Press, pp. 827-828. ISBN 9781605584836.

Zhang, Dell and Lu, J. and Mao, R. and Nie, J.-Y. (2009) Time-sensitive language modelling for online term recurrence prediction. In: Azzopardi, L. and Kazai, G. and Robertson, S.E. and Ruger, S.M. and Shokouhi, M. and Song, D. and Yilmaz, E. (eds.) Advances in Information Retrieval Theory. Lecture Notes In Computer Science 5766. Berlin, Germany: Springer, pp. 128-138. ISBN 9783642044168.

Zhang, Dell and Mao, R. and Li, W. (2009) The recurrence dynamics of social tagging. In: Quemada, J. and Leon, G. and Maarek, Y.S. and Nejdl, W. (eds.) Proceedings of the 18th International Conference on World wide web - WWW '09. New York, U.S.: ACM Press, pp. 1205-1206. ISBN 9781605584874.

Zhang, Dell and Sun Lee, W. (2009) Query-by-multiple-examples using support vector machines. Journal of Digital Information Management 7 (4), pp. 202-210. ISSN 0972-7272.

Zhang, T. and Tao, D. and Li, Xuelong and Yang, J. (2009) Patch alignment for dimensionality reduction. Transactions on Knowledge and Data Engineering 21 (9), pp. 1299-1313. ISSN 1041-4347.

Zhang, X. and Li, C. and Tong, X. and Hu, W. and Maybank, Stephen J. and Zhang, Y. (2009) Efficient human pose estimation via parsing a tree structure based human model. In: IEEE 12th International Conference on Computer Vision: (ICCV 2009), 29 Sep - 02 Oct 2009, Kyoto, Japan.

Zhou, H. and Tao, D. and Yuan, Y. and Li, Xuelong (2009) Object trajectory clustering via tensor analysis. In: UNSPECIFIED (ed.) Image Processing. New York, USA: Institute of Electrical and Electronics Engineers, pp. 1945-1948. ISBN 9781424456536.

Zoumboulakis, M. and Roussos, George (2009) Efficient pattern detection in extremely resource-constrained devices. In: Sensor, Mesh and Ad Hoc Communications and Networks, 2009, June 22-26, 2009, Rome, Italy.

Zoumboulakis, M. and Roussos, George (2009) Estimation of pollutant-emitting point-sources using resource-constrained sensor networks. In: Trigoni, N. and Markham, A. and Nawaz, S. (eds.) GeoSensor Networks. Lecture Notes in Computer Science 5659. Berlin, Germany: Springer Verlag, pp. 21-30. ISBN 9783642029028.

This list was generated on Sat Nov 23 02:29:23 2024 GMT.

Export as	Atom RSS