BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Group by: Author(s) | Item Type
    Jump to: B | C | D | F | G | I | K | L | M | R | S
    Number of items: 36.

    B

    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.

    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, 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

    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.

    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.

    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.

    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 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.

    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.

    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.

    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.

    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.

    R

    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.

    S

    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.

    This list was generated on Fri Apr 16 02:00:07 2021 BST.