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

A

Anastasiadis, A.D. and Magoulas, George and Vrahatis, M.V. (2004) A new learning rates adaptation strategy for the resilient propagation algorithm. In: UNSPECIFIED (ed.) ESANN 2004: 12th European Symposium on Artificial Neural Networks. ESANN, pp. 1-6.

B

Bailey, J. and Papamarkos, G. and Poulovassilis, Alex and Wood, Peter (2004) An event-condition-action language for XML. In: Levene, Mark and Poulovassilis, Alex (eds.) Web Dynamics: Adapting to Change in Content, Size, Topology and Use. Springer, pp. 223-248. ISBN 9783642073779.

Bar-Ilan, J. and Levene, Mark and Mat-Hassan, M. (2004) Dynamics of search engine rankings: case study. CEUR Workshop Proceedings 703 , pp. 3-13. ISSN 1613-0073.

Bauer, S. and Hodkinson, I.M. and Wolter, F. and Zakharyaschev, Michael (2004) On non-local propositional and weak monodic quantified CTL. Journal of Logic and Computation 14 (1), pp. 3-22. ISSN 0955-792X.

Borges, J. and Levene, Mark (2004) An average linear time algorithm for web data mining. International Journal of Information Technology and Decision Making 3 (2), pp. 307-320. ISSN 0219-6220.

Brooms, Anthony C. (2004) On the Nash Equilibria for the FCFS Queuing System with load-increasing service rate. Working Paper. Birkbeck, University of London, London, UK.

Brown, Paul (2004) The computer arts: origins and contexts. In: Longson, T. (ed.) SIGGRAPH 2004: 31st International Conference on Computer Graphics and Interactive Techniques. Association for Computing Machinery.

Bulatov, A.A. and Chen, Hubie and Dalmau, V. (2004) Learnability of relatively quantified generalized formulas. In: David, S. and Case, J. and Maruoka, A. (eds.) 15th International Conference: Algorithmic Learning Theory. Lecture Notes in Computer Science 3244. Springer, pp. 365-379. ISBN 9783540233565.

C

Calì, Andrea (2004) Query answering by rewriting in GLAV data integration systems under constraints. In: Bussler, C. and Tannen, V. and Fundulaki, I. (eds.) Semantic Web and Databases: 2nd International Workshop. Lecture Notes in Computer Science 3372. Springer, pp. 167-184.

Calì, Andrea (2004) Reasoning in data integration systems: why LAV and GAV are siblings. In: Agosti, M. and Dessi, N. and Schreiber, F.A. (eds.) Proceedings of the Twelfth Italian Symposium on Advanced Database Systems. SEBD, pp. 282-289.

Calì, Andrea and Calvanese, D. and Colucci, S. and Di Noia, T. and Donini, F.M. (2004) A logic-based approach for matching user profiles. In: Negoita, M.G. and Howlett, R.J. and Jain, L.C. (eds.) Knowledge-Based Intelligent Information and Engineering Systems: 8th International Conference. Lecture Notes in Computer Science 3215. Springer, pp. 187-195. ISBN 10.1007/978-3-540-30134-9\_27.

Calì, Andrea and Calvanese, Diego and De Giacomo, Giuseppe and Lenzerini, Maurizio (2004) Data integration under integrity constraints. Information Systems 29 (2), pp. 147-163. ISSN 03064379.

Calì, Andrea and Lembo, D. and Rosati, R. and Ruzzi, M. (2004) Experimenting data integration with DIS@DIS. In: Persson, A. and Stirna, J. (eds.) Advanced Information Systems Engineering. Lecture Notes in Computer Science 3084. Springer. ISBN 9783540221517.

Chen, Hubie (2004) Collapsibility and consistency in quantified constraint satisfaction. In: McGuinness, D.L. and Ferguson, G. (eds.) Proceedings of the Nineteenth National Conference on Artificial Intelligence. AAAI, pp. 155-160.

Chen, Hubie (2004) Quantified constraint satisfaction and 2-semilattice polymorphisms. In: Wallace, Mark (ed.) 10th International Conference: Principles and Practice of Constraint Programming. Lecture Notes in Computer Science 3258. Springer, pp. 168-181. ISBN 9783540232414.

Chen, Hubie (2004) Quantified constraint satisfaction and bounded treewidth. In: Lopez de Mantara, R. and Saitta, L. (eds.) Proceedings of the 16th Eureopean Conference on Artificial Intelligence. IOS Press, pp. 161-165.

Chen, Hubie (2004) The expressive rate of constraints. In: UNSPECIFIED (ed.) International Symposium on Artificial Intelligence and Mathematics. AI&M.

Chen, Hubie and Chong, S. (2004) Owned policies for information security. In: UNSPECIFIED (ed.) 17th IEEE Computer Security Foundations Workshop. IEEE Computer Society, pp. 126-138.

Chen, Hubie and Dalmau, V. (2004) Looking algebraically at tractable quantified Boolean formulas. In: UNSPECIFIED (ed.) SAT 2004: The Seventh International Conference on Theory and Applications of Satisfiability Testing. Springer. ISBN 9783540278290.

Chen, Hubie and Dalmau, V. (2004) Smart look-ahead arc consistency and the pursuit of CSP tractability. In: Wallace, M. (ed.) 10th International Conference: Principles and Practice of Constraint Programming. Lecture Notes in Computer Science 3258. Springer, pp. 182-196. ISBN 9783540232414.

Chen, Hubie and Pal, M. and Kratochvil, J. (2004) Optimization, games, and quantified constraint satisfaction. In: Fiala, J. and Koubek, V. (eds.) 29th International Symposium: Mathematical Foundations of Computer Science. Lecture Notes in Computer Science 3153. Springer, pp. 239-250. ISBN 9783540228233.

Chen, Hubie and Pucella, R. (2004) A coalgebraic approach to Kleene algebra with tests. Theoretical Computer Science 327 (1-2), pp. 23-44. ISSN 0304-3975.

Chen, Hubie and Pucella, R. (2004) A coalgebraic approach to Kleene algebra with tests. CoRR ,

Chen, S.Y. and Magoulas, George and Macredie, R.D. (2004) Cognitive styles and users' responses to structured information representation. International Journal on Digital Libraries 4 (2), pp. 93-107. ISSN 1432-5012.

Chen, Taolue and Han, Tingting and Lu, J. (2004) Framework of performance evaluation for mobile process based on mobile ambient. In: Wei, D. and Wang, H. and Peng, Z. and Kara, A. and He, Y. (eds.) International Conference on Computer and Information Technology. IEEE Computer Society, pp. 540-545. ISBN 0769522165.

Chen, Taolue and Han, Tingting and Lu, J. (2004) Towards a model logic for p-calculus. In: UNSPECIFIED (ed.) COMPSAC 2004: 28th International Computer Software and Applications Conference: Design and Assessment of Trustworthy Software-Based Systems. IEEE Computer Society, pp. 330-335. ISBN 0769522092.

Chen, Taolue and Han, Tingting and Lu, J. (2004) Tree logic with recursion and model checking algorithm. In: Hamza, M.H. (ed.) Proceedings of the IASTED Conference on Software Engineering and Applications. IASTED/ACTA Press, pp. 588-593. ISBN 088986425X.

Chen, Taolue and Zhou, J. and Han, Tingting and Lu, J. (2004) Checking strong open congruence in χ-calculus. Electronic Notes in Theoretical Computer Science 91 , pp. 4-20. ISSN 1571-0661.

D

Dekeyser, S. and Hidders, Jan (2004) Conflict scheduling of transactions on XML documents. In: Schewe, K.-D. and Williams, H.E. (eds.) Database Technologies 2004: Proceedings of the Fifteenth Australasian Database Conference. CRPIT 27. Australian Computer Society, pp. 93-101.

Dekeyser, S. and Hidders, Jan and Paredaens, J. (2004) A transaction model for XML databases. World Wide Web: Internet and Web Information Systems 7 (1), pp. 29-57. ISSN 1386-145X.

de Freitas, Sara and Levene, Mark (2004) Spam on the Internet: can it be eradicated or is it here to stay? JISC Technology and Standards Watch Report (TSW040), pp. 1-24.

F

Fletcher, George H. L. and Sheth, H.A. and Borner, K. (2004) Unstructured peer-to-peer networks: topological properties and search performance. In: Moro, G. and Bergamaschi, S. and Aberer, K. (eds.) Agents and Peer-to-Peer Computing, Third International Workshop: AP2PC 2004. Lecture Notes in Computer Science 3601. Springer, pp. 14-27. ISBN 9783540297550.

Freitas, S. and Levene, Mark (2004) An investigation of the use of simulations and video gaming for supporting exploratory learning and developing higher-order cognitive skills. In: Kinshuk and Sampson, D.G. and Isa'ias, P.T. (eds.) Cognition and Exploratory Learning in Digital Age: Proceedings of the IADIS International Conference. International Association for Development of the Information Society, pp. 35-42.

Frias-Martinez, E. and Magoulas, George and Chen, S.Y. and Macredie, R.D. (2004) Recent soft computing approaches to user modeling in adaptive hypermedia. In: De Bra, P. and Nejdl, W. (eds.) Adaptive Hypermedia and Adaptive Web-Based Systems: Third International Conference. Lecture Notes in Computer Science 3137. Springer, pp. 104-114. ISBN 9783540-228950.

G

Galitsky, Boris A. and Levene, Mark (2004) On the economy of web links: simulating the exchange process. First Monday 9 (1), ISSN 1396-0466.

Ghinea, G. and Magoulas, George (2004) Integrating perceptech requirements in multimedia streaming. In: Hobson, P. and Izquierdo, E. and Kompatsiaris, I. and O'Connor, N.E. (eds.) Knowledge-Based Media Analysis for Self-Adaptive and Agile Multi-Media: Proceedings of the European Workshop for the Integration of Knowledge, Semantics and Digital Media Technology. QMUL, pp. 25-26.

Ghinea, G. and Magoulas, George and Frank, A.O. (2004) Intelligent protocol adaptation in a medical e-collaboration environment. International Journal on Artificial Intelligence Tools 13 (1), pp. 199-218. ISSN 0218-2130.

Grawemeyer, Beate and Cox, R. (2004) The effect of knowledge-of-external-representations upon performance and representational choice in a database query task. In: Blackwell, A.F. and Marriott, K. and Shimojima, A. (eds.) Diagrammatic Representation and Inference: Third International Conference: Diagrams 2004. Lecture Notes in Computer Science 2980. Springer, pp. 351-354. ISBN 9783540212683.

Gutierrez, Sergio and Pardo, A. and Delgado Kloos, C. (2004) An adaptive tutoring system based on hierarchical graphs. In: De Bra, P. and Nejdl, W. (eds.) Adaptive Hypermedia and Adaptive Web-Based Systems: Third International Conference. Lecture Notes in Computer Science 3137. Springer, pp. 401-404. ISBN 9783540228950.

H

Hidders, Jan and Paredaens, J. and Vercammen, R. and Demeyer, S. (2004) A light but formal introduction to xquery. In: Bellahsene, Z. and Milo, T. and Rys, M. and Suciu, D. and Unland, R. (eds.) Database and XML Technologies, Second International XML Database Symposium. Lecture Notes in Computer Science 3186. Springer, pp. 5-20. ISBN 9783540229698.

I

Ilyas, I.F. and Markl, V. and Haas, P.J. and Brown, Paul and Aboulnaga, A. (2004) CORDS: automatic discovery of correlations and soft functional dependencies. In: Weikum, G. and Konig, A.C. and Dessloch, S. (eds.) Proceedings of the ACM SIGMOD International Conference on Management of Data. Association for Computing Machinery, pp. 647-658. ISBN 9781581138597.

K

Keenoy, K. and Levene, Mark and de Freitas, Sara and Emans, B. and Schoonenboom, J. and Jones, A. and Brasher, A. and Waycott, J. and Turcsanyi-Szabo, M. and Bodnar, E. and Pernin, J.P. and Eyssautier, C. and Montandon, L. (2004) Collaborative trails in e-learning environments. Personalised and Collaborative Trails of Digital and Non-Digital Learning Objects D22 (4.2), pp. 1-62.

Keenoy, K. and Poulovassilis, Alex and Christophides, V. and Rigaux, P. and Papamarkos, G. and Magkanaraki, A. and Stratakis, M. and Spyratos, N. and Wood, Peter (2004) Personalisation services for self e-learning networks. In: Koch, N. and Fraternali, P. and Wirsing, M. (eds.) ICWE 2004: Web Engineering. Lecture Notes in Computer Science 3140. Springer, pp. 215-219. ISBN 9783540225119.

Keenoy, K. and de Freitas, Sara and Levene, Mark and Jones, A. and Brasher, A. and Waycott, J. and Kaszas, P. and Turcsanyi-Szabo, M. and Montandon, L. (2004) Personalised trails and learner profiling within e-learning environments. Personalised and Collaborative Trails of Digital and Non-Digital Learning Objects D22 (4.1), pp. 1-43.

Koller, A.E. and Noble, Steven (2004) Domination analysis of greedy heuristics for the frequency assignment problem. Discrete Mathematics 275 (1-3), pp. 331-338. ISSN 0012-365X.

Kontchakov, Roman (2004) Monodic first-order temporal logics: complexity, tableaux, and applications. Doctoral thesis, Kings College, London, UK.

Kontchakov, Roman and Lutz, C. and Wolter, F. and Zakharyaschev, Michael (2004) Temporalising tableaux. Studia Logica 76 (1), pp. 91-134. ISSN 0039-3215.

Krasikov, I. and Noble, Steven (2004) Finding next-to-shortest paths in a graph. Information Processing Letters 92 (3), pp. 117-119. ISSN 0020-0190.

Kutz, O. and Lutz, C. and Wolter, F. and Zakharyaschev, Michael (2004) E-connections of abstract description systems. Artificial Intelligence 156 (1), pp. 1-73. ISSN 0004-3702.

L

Lanitis, A. and Draganova, C. and Christodoulou, Chris (2004) Comparing different classifiers for automatic age estimation. IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics) 34 (1), pp. 621-628. ISSN 1083-4419.

Leese, R.A. and Noble, Steven (2004) Cyclic labelling with constraints at two distances. The Electronic Journal of Combinatorics 11 (1), ISSN 1077-8926.

Levene, Mark and Poulovassilis, Alex (2004) Report on the 3rd web dynamics workshop, at WWW 2004. SIGMOD Record 33 (3), pp. 91-95. ISSN 0163-5808.

Levene, Mark and Poulovassilis, Alex (2004) Web dynamics: adapting to change in content, size, topology and use. Springer. ISBN 354040676X.

Levene, Mark and Poulovassilis, Alex (2004) Web dynamics: setting the scene. In: Levene, Mark and Poulovassilis, Alex (eds.) Web Dynamics: Adapting to Change in Content, Size, Topology and Use. Springer, pp. 1-18.

Levene, Mark and Wheeldon, R. (2004) Navigating the world wide web. In: Levene, Mark and Poulovassilis, Alex (eds.) Web Dynamics: Adapting to Change in Content, Size, Topology and Use. Springer, pp. 117-152.

M

Magoulas, George D. and Plagianakos, V.P. and Vrahatis, M.N. (2004) Neural network-based colonoscopic diagnosis using on-line learning and differential evolution. Applied Soft Computing 4 (4), pp. 369-379. ISSN 1568-4946.

Magoulas, George and Chen, S.Y. and Dimakopoulos, Dionysios (2004) A personalised interface for web directories based on cognitive styles. In: Stary, C. and Stephanidis, C. (eds.) User-Centered Interaction Paradigms for Universal Access in the Information Society. Lecture Notes in Computer Science 3196. Springer, pp. 159-166. ISBN 9783540233756.

Maibaum, M. and Rimon, G. and Orengo, C.A. and Martin, Nigel and Poulovassilis, Alexandra (2004) BioMap: gene family based integration of heterogeneous biological databases using AutoMed metadata. In: UNSPECIFIED (ed.) Proceedings. 15th International Workshop on Database and Expert Systems Applications, 2004. Piscataway, U.S.: IEEE Computer Society, pp. 384-388. ISBN 0769521959.

Marchi, M. and Mileo, A. and Provetti, Alessandro (2004) Grid Service Selection with PPDL. In: Demoen, B. and Lifschitz, V. (eds.) Logic Programming, 20th International Conference: ICLP 2004. Lecture Notes in Computer Science 3132. Springer, pp. 464-466. ISBN 9783540226710.

Marchi, M. and Mileo, A. and Provetti, Alessandro (2004) Specification and execution of declarative policies for grid service selection. In: Zhang, L.-J. (ed.) Web Services, European Conference: ECOWS 2004. Lecture Notes in Computer Science 3250. Springer, pp. 102-115. ISBN 9783540232025.

Marchi, M. and Mileo, A. and Provetti, Alessandro (2004) Specification and execution of policies for grid service selection. In: UNSPECIFIED (ed.) Proceedings of the IEEE International Conference on Web Services: ICWS 04. IEEE Computer Society, pp. 828-829. ISBN 0769521673.

Maybank, Stephen J. (2004) Detection of image structures using the Fisher information and the Rao metric. IEEE Transactions on Pattern Analysis and Machine Intelligence 26 (12), pp. 1579-1589. ISSN 0162-8828.

O

O'Neill, P. and Magoulas, George and Liu, X. (2004) Quality processing of microarray image data through image inpainting and texture synthesis. In: UNSPECIFIED (ed.) Proceedings of the 2004 IEEE International Symposium on Biomedical Imaging: From Nano to Macro. IEEE Computer Society, pp. 117-120. ISBN 0780383885.

Osorio, M. and Provetti, Alessandro (2004) Preface. [Editorial/Introduction]

P

Padovani, L. and Provetti, Alessandro (2004) Qsmodels: ASP planning in interactive gaming environment. In: Alferes, J.J. and Leite, J.A. (eds.) Logics in Artificial Intelligence, 9th European Conference: JELIA 2004. Lecture Notes in Computer Science 3229. Springer, pp. 689-692. ISBN 9783540232421.

Papamarkos, G. and Poulovassilis, Alex and Wood, Peter (2004) An event-condition-action language for RDF. In: Levene, Mark and Poulovassilis, Alex (eds.) Proceedings of the Third International Workshop on Web Dynamics. CEUR Workshop Proceedings 703. CEUR-WS.org, pp. 62-75.

R

Razgon, Igor and Meisels, A. (2004) Pruning by equally constrained variables. In: Faltings, B. and Petcu, A. and Fages, F. and Rossi, F. (eds.) Recent Advances in Constraints: CSCLP 2004. Lecture Notes in Computer Science 3419. Springer, pp. 26-40.

Roussos, George and Moussouri, T. (2004) Consumer perceptions of privacy, security and trust in ubiquitous commerce. Personal and Ubiquitous Computing 8 (6), pp. 416-429. ISSN 1617-4909.

Roussos, George and Samaras, G. and Spinellis, D. (2004) Editorial message: special track on ubiquitous computing. In: Haddad, H. and Omicini, A. and Wainwright, R.L. and Liebrock, L.M. (eds.) SAC 2004: Proceedings of the ACM Symposium on Applied Computing. Association for Computing Machinery, pp. 1565-1566. ISBN 9781581138122.

S

Silveira, R.A. and Gomes, E.R. and Pinto, V.H. and Magoulas, George (2004) Intelligent learning objects: an agent based approach of learning objects. In: Lester, J.C. and Vicari, R.M. and Paraguaccu, F. (eds.) Intelligent Tutoring Systems: 7th International Conference. Lecture Notes in Computer Science 3220. Springer, pp. 886-888. ISBN 9783540229483.

Stathacopoulou, R. and Grigoriadou, M. and Samarakou, M. and Magoulas, George (2004) Using simulated students for machine learning. In: Lester, J.C. and Vicari, R.M. and Paraguaccu, F. (eds.) Intelligent Tutoring Systems: 7th International Conference. Lecture Notes in Computer Science 3220. Springer, pp. 889-891. ISBN 9783540229483.

Stathacopoulou, R. and Samarakou, M. and Grigoriadou, M. and Magoulas, George (2004) A neuro-fuzzy approach to detect student's motivation. In: Kinshuk and Looi, C.-K. and Sutinen, E. and Sampson, D.G. and Aedo, I. and Uden, L. and Kahkonen, E. (eds.) Proceedings of the IEEE International Conference on Advanced Learning Technologies. IEEE Computer Society.

Swift, S. and Tucker, A. and Vinciotti, V. and Martin, Nigel and Orengo, C.A. and Liu, X. and Kellam, P. (2004) Consensus clustering and functional interpretation of gene-expression data. Genome Biology 5 (11), ISSN 1465-6906.

Y

Yanev, P. and Foschi, P. and Kontoghiorghes, Erricos (2004) Algorithms for computing the QR decomposition of a set of matrices with common columns. Algorithmica 39 (1), pp. 83-93. ISSN 0178-4617.

Z

Zhang, Dell (2004) Web based question answering with aggregation strategy. In: Yu, J.X. and Lin, X. and Lu, H. and Zhang, Y. (eds.) APWeb 2004: Advanced Web Technologies and Applications. Lecture Notes in Computer Science 3007. Springer, pp. 353-362. ISBN 9783540213710.

Zhang, Dell and Dong, Y. (2004) Semantic, hierarchical, online clustering of web search results. In: Yu, J.X. and Lin, X. and Lu, H. and Zhang, Y. (eds.) APWeb 2004: Advanced Web Technologies and Applications. Lecture Notes in Computer Science 3007. Springer, pp. 69-78. ISBN 9783540213710.

Zhang, Dell and Lee, W.S. (2004) Experience of using SVM for the triage task in TREC 2004 genomics track. In: Voorhees, E.M. and Buckland, L.P. (eds.) TREC 2004: Proceedings of the Thirteenth Text REtrieval Conference. NIST Special Publication 500. The National Institute of Standards and Technology.

Zhang, Dell and Lee, W.S. (2004) Learning to integrate web taxonomies. Journal of Web Semantics 2 (2), pp. 131-151. ISSN 1570-8268.

Zhang, Dell and Lee, W.S. (2004) Web taxonomy integration through co-bootstrapping. In: Sanderson, M. and Jarvelin, K. and Allan, J. and Bruza, P. (eds.) SIGIR 2004: Proceedings of the 27th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval. ACM, pp. 410-417. ISBN 9781581138818.

Zhang, Dell and Lee, W.S. (2004) Web taxonomy integration using support vector machines. In: Feldman, S.I. and Uretsky, M. and Najork, M and Wills, C.E. (eds.) WWW 2004: Proceedings of the 13th international conference on World Wide Web. ACM, pp. 472-481. ISBN 9781581138443.

Zhang, Dell and Wang, X. and Dong, Y. (2004) Web taxonomy integration using spectral graph transducer. In: Atzeni, P. and Chu, W.W. and Lu, H. and Zhou, S. and Ling, T.W. (eds.) ER 2004: Conceptual Modelling. Lecture Notes in Computer Science 3288. Springer, pp. 300-312. ISBN 9783540237235.

Zoumboulakis, M. and Roussos, George and Poulovassilis, Alex (2004) Active rules for sensor databases. In: Labrinidis, A. and Madden, S. (eds.) DMSN 2004: Proceedings of the 1st Workshop on Data Management for Sensor Networks. ACM International Conference Proceeding Series 72. Association for Computing Machinery, pp. 98-103. ISBN 9781450377959.

Zoumboulakis, M. and Roussos, George and Poulovassilis, Alex (2004) Active rules for wireless networks of sensors & actuators. In: Stankovic, J.A. and Arora, A. and Govindan, R. (eds.) SenSys 2004: Proceedings of the 2nd International Conference on Embedded Networked Sensor Systems. Association for Computing Machinery, pp. 263-264. ISBN 9781581138795.