For the current REF see the REF 2021 website REF 2021 logo
You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Queen Mary University of London » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

Queen Mary University of London

1 2
> Last
Showing outputs 1 - 50 of 83
Output title
A Dispersion Theorem for Communication Networks Based on Term ...
Output type
E - Conference contribution
Volume title
2011 IEEE International Symposium on Information Theory
Year
2011
DOI
10.1109/ISIT.2011.6034198
Output title
A general structure for legal arguments about evidence using ...
Output type
D - Journal article
Volume title
Cognitive Science
Year
2013
DOI
10.1111/cogs.12004
Output title
A semi-automated approach to balancing of bottom-up salience ...
Output type
D - Journal article
Volume title
Journal of Vision
Year
2010
DOI
10.1167/10.6.3
Output title
Abstraction-guided synthesis of synchronization.
Output type
E - Conference contribution
Volume title
Principles of Programming Languages The 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Year
2010
DOI
10.1145/1706299.1706338
Output title
Accurate and efficient method for smoothly space-variant Gaussian ...
Output type
D - Journal article
Volume title
IEEE Transactions on Image Processing
Year
2010
DOI
10.1109/TIP.2010.2041400
Output title
Accurate appearance-based Bayesian tracking for maneuvering ...
Output type
D - Journal article
Volume title
Computer Vision and Image Understanding
Year
2009
DOI
10.1016/j.cviu.2008.12.003
Output title
Adaptive Online Performance Evaluation of Video Trackers
Output type
D - Journal article
Volume title
IEEE Transactions on Image Processing
Year
2012
DOI
10.1109/TIP.2011.2182520
Output title
Affect recognition for interactive companions: Challenges and ...
Output type
D - Journal article
Volume title
Journal on Multimodal User Interfaces
Year
2010
DOI
10.1007/s12193-009-0033-5
Output title
Algebra, Proof Theory and Applications for an Intuitionistic ...
Output type
D - Journal article
Volume title
ACM Transactions on Computational Logic (TOCL)
Year
2013
DOI
10.1145/0000000.0000000
Output title
An analysis of Godel's 'Dialectica' interpretation via linear ...
Output type
D - Journal article
Volume title
Dialectica: the official journal of the European Society for Analytic Philosophy
Year
2008
DOI
10.1111/j.1746-8361.2008.01135.x
Output title
An Autonomous Engine for Services Configuration and Deployme ...
Output type
D - Journal article
Volume title
IEEE Transactions on Software Engineering
Year
2012
DOI
10.1109/TSE.2011.24
Output title
Anatomy of a large european IXP.
Output type
E - Conference contribution
Volume title
ACM SIGCOMM 2012 conference on Applications technologies architectures and protocols for computer communication
Year
2012
DOI
10.1145/2342356.2342393
Output title
Applications of real number theorem proving in PVS
Output type
D - Journal article
Volume title
Formal Aspects of Computing: applicable formal methods
Year
2013
DOI
10.1007/s00165-012-0232-9
Output title
Automated Cyclic Entailment Proofs in Separation Logic.
Output type
E - Conference contribution
Volume title
CADE-23 - 23rd International Conference on Automated Deduction
Year
2011
DOI
10.1007/978-3-642-22438-6_12
Output title
Availability modelling of repairable systems using Bayesian ...
Output type
D - Journal article
Volume title
Engineering Applications of Artificial Intelligence
Year
2012
DOI
10.1016/j.engappai.2010.06.003
Output title
Biologically inspired framework for spatial and spectral velocity ...
Output type
D - Journal article
Volume title
Journal of the Optical Society of America A: Optics, Image Science and Vision
Year
2011
DOI
10.1364/JOSAA.28.000713
Output title
Combinatorial representations
Output type
D - Journal article
Volume title
Journal of Combinatorial Theory: Series A
Year
2013
DOI
10.1016/j.jcta.2012.12.002
Output title
Compositional Shape Analysis by Means of Bi-Abduction
Output type
D - Journal article
Volume title
Journal of the ACM
Year
2011
DOI
10.1145/2049697.2049700
Output title
Cue Abstraction, Paradigmatic Analysis and Information Dynamics: ...
Output type
D - Journal article
Volume title
Musicae Scientiae
Year
2010
DOI
10.1177/10298649100140S217
Output title
Differential Use of Implicit Negative Evidence in Generative ...
Output type
E - Conference contribution
Volume title
Neural Information Processing Systems
Year
2009
DOI
Output title
Evaluation of network robustness using a node tearing algori ...
Output type
D - Journal article
Volume title
Physica A: Statistical Mechanics and its Applications
Year
2012
DOI
10.1016/j.physa.2012.07.058
Output title
Evolution before genes
Output type
D - Journal article
Volume title
Biology Direct
Year
2012
DOI
10.1186/1745-6150-7-1
Output title
Experimental Support for a Categorical Compositional Distributional ...
Output type
E - Conference contribution
Volume title
Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing (2011)
Year
2011
DOI
Output title
Experimenting with Distant Supervision for Emotion Classific ...
Output type
E - Conference contribution
Volume title
13th Conference of the European Chapter of the Association for Computational Linguistics (EACL 2012)
Year
2012
DOI
Output title
Fresh-Register Automata
Output type
E - Conference contribution
Volume title
POPL 11: Proceedings of the 38TH Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Year
2011
DOI
10.1145/1926385.1926420
Output title
Generalized face super-resolution.
Output type
D - Journal article
Volume title
IEEE Transactions on Image Processing
Year
2008
DOI
10.1109/TIP.2008.922421
Output title
Generating customised experimental stimuli for visual search ...
Output type
D - Journal article
Volume title
Vision Research
Year
2009
DOI
10.1016/j.visres.2008.11.006
Output title
Graph-Theoretical Constructions for Graph Entropy and Network ...
Output type
D - Journal article
Volume title
IEEE Transactions on Information Theory
Year
2011
DOI
10.1109/TIT.2011.2155618
Output title
HAWKEYE: effective discovery of dataflow impediments to para ...
Output type
E - Conference contribution
Volume title
OOPSLA
Year
2011
DOI
10.1145/2048066.2048085
Output title
Hybrid functional interpretations of linear and intuitionistic ...
Output type
D - Journal article
Volume title
Journal of Logic and Computation
Year
2010
DOI
10.1093/logcom/exq007
Output title
Identifying Rare and Subtle Behaviors: A Weakly Supervised Joint ...
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2011
DOI
10.1109/TPAMI.2011.81
Output title
Improved Reliability Modeling using Bayesian Networks and Dynamic ...
Output type
D - Journal article
Volume title
Journal of Reliability Engineering and System Safety
Year
2010
DOI
10.1016/j.ress.2009.11.012
Output title
Improving Content Delivery with PaDIS
Output type
D - Journal article
Volume title
IEEE Internet Computing
Year
2012
DOI
10.1109/MIC.2011.105
Output title
Incremental activity modeling in multiple disjoint cameras.
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2012
DOI
10.1109/TPAMI.2011.246
Output title
Incrementality and Intention-Recognition in Utterance Proces ...
Output type
D - Journal article
Volume title
Dialogue & Discourse
Year
2011
DOI
10.5087/dad.2011.109
Output title
Internet Optometry: Assessing the Broken Glasses in Internet ...
Output type
E - Conference contribution
Volume title
Proceedings of the 9th ACM SIGCOMM conference on Internet measurement conference
Year
2009
DOI
10.1145/1644893.1644923
Output title
Is nonverbal communication disrupted in interactions involving ...
Output type
D - Journal article
Volume title
Schizophrenia Bulletin
Year
2012
DOI
10.1093/schbul/sbs091
Output title
jStar: Towards Practical Verification for Java
Output type
E - Conference contribution
Volume title
23rd Annual ACM Conference on Object-Oriented Programming, Systems, Languages and Applications
Year
2008
DOI
10.1145/1449764.1449782
Output title
Lambek vs. Lambek: Functorial vector space semantics and string ...
Output type
D - Journal article
Volume title
Annals of Pure and Applied Logic
Year
2013
DOI
10.1016/j.apal.2013.05.009
Output title
Learning Behavioural Context
Output type
D - Journal article
Volume title
International Journal of Computer Vision
Year
2012
DOI
10.1007/s11263-011-0487-2
Output title
Learning scene context for multiple object tracking.
Output type
D - Journal article
Volume title
IEE Transactions on Image Processing
Year
2009
DOI
10.1109/TIP.2009.2019934
Output title
Mathematical Foundations for a Compositional Distributional Model ...
Output type
D - Journal article
Volume title
Lambek Festschirft, special issue of Linguistic Analysis, 2010.
Year
2010
DOI
Output title
Mathematical practice, crowdsourcing, and social machines
Output type
D - Journal article
Volume title
Proceedings of Intelligent Computer Mathematics, Lecture Notes in Computer Science
Year
2013
DOI
10.1007/978-3-642-39320-4_7
Output title
Measuring User Influence in Twitter: The Million Follower Fa ...
Output type
E - Conference contribution
Volume title
Proceedings of the Fourth International AAAI Conference on Weblogs and Social Media
Year
2010
DOI
Output title
Melodic pitch expectation interacts with neural responses to ...
Output type
D - Journal article
Volume title
Cortex
Year
2012
DOI
10.1016/j.cortex.2012.08.024
Output title
Modeling and generating moving trees from video
Output type
D - Journal article
Volume title
ACM Transactions on Graphics
Year
2011
DOI
10.1145/2070781.2024161
Output title
Modeling operational risk in financial institutions using hybrid ...
Output type
D - Journal article
Volume title
Journal of Operational Risk
Year
2009
DOI
Output title
Multiple unicasts, graph guessing games, and non-Shannon ine ...
Output type
E - Conference contribution
Volume title
2013 International Symposium on Network Coding (NetCod)
Year
2013
DOI
10.1109/NetCod.2013.6570823
Output title
On the effectiveness of early life cycle defect prediction with ...
Output type
D - Journal article
Volume title
Empirical Software Engineering: an international journal
Year
2008
DOI
10.1007/s10664-008-9072-x
Output title
Optimizing the Calculation of Conditional Probability Tables ...
Output type
D - Journal article
Volume title
IEEE Transactions on Knowledge and Data Engineering
Year
2012
DOI
10.1109/TKDE.2011.87
1 2
> Last
Showing outputs 1 - 50 of 83