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: Imperial College London » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

Imperial College London

First <
1 2 3 4 5
> Last
Showing outputs 101 - 150 of 201
Output title
Interventional tool tracking using discrete optimization.
Output type
D - Journal article
Volume title
IEEE Transactions on Medical Imaging
Year
2013
DOI
10.1109/TMI.2012.2228879
Output title
Inverse Depth Parametrization for Monocular SLAM
Output type
D - Journal article
Volume title
IEEE Transactions on Robotics
Year
2008
DOI
10.1109/TRO.2008.2003276
Output title
Keep off the grass: Locking the right path for atomicity
Output type
E - Conference contribution
Volume title
17th International Conference on Compiler Construction 2008
Year
2008
DOI
10.1007/978-3-540-78791-4_19
Output title
KinectFusion: Real-Time Dense Surface Mapping and Tracking
Output type
E - Conference contribution
Volume title
10th IEEE International Symposium on Mixed and Augmented Reality (ISMAR'11)
Year
2011
DOI
10.1109/ISMAR.2011.6092378
Output title
KLEE: unassisted and automatic generation of high-coverage tests ...
Output type
E - Conference contribution
Volume title
8th USENIX Symposium on Operating Systems Design and Implementation
Year
2008
DOI
Output title
Language-based defenses against untrusted browser origins
Output type
E - Conference contribution
Volume title
22nd Usenix Security Symposium
Year
2013
DOI
Output title
Large-scale network organization in the avian forebrain: a connectivity ...
Output type
D - Journal article
Volume title
Frontiers in Computational Neuroscience
Year
2013
DOI
10.3389/fncom.2013.00089
Output title
LEAP: learning embeddings for atlas propagation.
Output type
D - Journal article
Volume title
Neuroimage
Year
2010
DOI
10.1016/j.neuroimage.2009.09.069
Output title
Learning Operational Requirements from Goal Models
Output type
E - Conference contribution
Volume title
31st International Conference on Software Engineering (ICSE 2009)
Year
2009
DOI
10.1109/ICSE.2009.5070527
Output title
Learning probabilistic logic models from probabilistic examp ...
Output type
D - Journal article
Volume title
Machine Learning
Year
2008
DOI
10.1007/s10994-008-5076-4
Output title
Learning Revised Models For Planning In Adaptive Systems
Output type
E - Conference contribution
Volume title
35th IEEE/ACM International Conference on Software Engineering
Year
2013
DOI
10.1109/ICSE.2013.6606552
Output title
Learning Stochastic Models of Information Flow
Output type
E - Conference contribution
Volume title
28th IEEE International Conference on Data Engineering (ICDE)
Year
2012
DOI
10.1109/ICDE.2012.103
Output title
Local Evidence Aggregation for Regression-Based Facial Point ...
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2013
DOI
10.1109/TPAMI.2012.205
Output title
Local Hoare Reasoning about DOM
Output type
E - Conference contribution
Volume title
27th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2008)
Year
2008
DOI
10.1145/1376916.1376953
Output title
Locating Network Domain Entry and Exit point/path for DDoS Attack ...
Output type
D - Journal article
Volume title
IEEE Transactions on Network and Service Management
Year
2009
DOI
10.1109/TNSM.2009.03.090303
Output title
Lock Inference in the Presence of Large Libraries
Output type
E - Conference contribution
Volume title
European Conference on Object-Oriented Programming
Year
2012
DOI
10.1007/978-3-642-31057-7_15
Output title
MCMAS: A Model Checker for the Verification of Multi-Agent S ...
Output type
E - Conference contribution
Volume title
21st International Conference on Computer Aided Verification
Year
2009
DOI
10.1007/978-3-642-02658-4_55
Output title
Meta-Interpretive Learning of Higher-Order Dyadic Datalog: Predicate ...
Output type
E - Conference contribution
Volume title
Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI'13)
Year
2013
DOI
Output title
Methodological construction of product-form stochastic Petri ...
Output type
D - Journal article
Volume title
Journal of Systems and Software
Year
2012
DOI
10.1016/j.jss.2011.11.1042
Output title
Modal and mixed specifications: key decision problems and their ...
Output type
D - Journal article
Volume title
Mathematical Structures in Computer Science
Year
2010
DOI
10.1017/S0960129509990260
Output title
Model-Driven System Capacity Planning under Workload Burstin ...
Output type
D - Journal article
Volume title
IEEE Transactions on Computers
Year
2010
DOI
10.1109/TC.2009.135
Output title
Modelling and performance analysis of clinical pathways using ...
Output type
D - Journal article
Volume title
BMC Bioinformatics
Year
2012
DOI
10.1186/1471-2105-13-S14-S4
Output title
Multiparty asynchronous session types
Output type
E - Conference contribution
Volume title
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'08)
Year
2008
DOI
10.1145/1328438.1328472
Output title
Neighbourhood approximation using randomized forests.
Output type
D - Journal article
Volume title
Medical Image Analysis
Year
2013
DOI
10.1016/j.media.2013.04.013
Output title
Object Capabilities and Isolation of Untrusted Web Applicati ...
Output type
E - Conference contribution
Volume title
Symposium on Security and Privacy
Year
2010
DOI
10.1109/SP.2010.16
Output title
Objects and session types
Output type
D - Journal article
Volume title
Information and Computation
Year
2009
DOI
10.1016/j.ic.2008.03.028
Output title
ON CANONICITY AND COMPLETIONS OF WEAKLY REPRESENTABLE RELATION ...
Output type
D - Journal article
Volume title
Journal of Symbolic Logic
Year
2012
DOI
10.2178/jsl/1327068701
Output title
Online Driver Distraction Detection Using Long Short-Term Me ...
Output type
D - Journal article
Volume title
IEEE Transactions on Intelligent Transportation Systems
Year
2011
DOI
10.1109/TITS.2011.2119483
Output title
Optimized Code Generation for Finite Element Local Assembly Using ...
Output type
D - Journal article
Volume title
ACM Transactions on Mathematical Software
Year
2013
DOI
10.1145/2491491.2491496
Output title
Optimizing Residue Arithmetic on FPGAs
Output type
E - Conference contribution
Volume title
International Conference on Field-Programmable Technology 2008
Year
2008
DOI
10.1109/FPT.2008.4762364
Output title
Output-associative RVM regression for dimensional and continuous ...
Output type
D - Journal article
Volume title
Image and Vision Computing
Year
2012
DOI
10.1016/j.imavis.2011.12.005
Output title
Parallel multilevel algorithms for hypergraph partitioning
Output type
D - Journal article
Volume title
Journal of Parallel and Distributed Computing
Year
2008
DOI
10.1016/j.jpdc.2007.11.002
Output title
Passage-time computation and aggregation strategies for large ...
Output type
D - Journal article
Volume title
Performance Evaluation
Year
2011
DOI
10.1016/j.peva.2010.10.003
Output title
PCTL model checking of Markov chains: Truth and falsity as winning ...
Output type
D - Journal article
Volume title
Performance Evaluation
Year
2010
DOI
10.1016/j.peva.2009.07.002
Output title
Performance Specification and Evaluation with Unified Stochastic ...
Output type
D - Journal article
Volume title
IEEE Transactions on Software Engineering
Year
2013
DOI
10.1109/TSE.2012.1
Output title
PESSIMISTIC BILEVEL OPTIMIZATION
Output type
D - Journal article
Volume title
SIAM Journal on Optimization
Year
2013
DOI
10.1137/120864015
Output title
Physical-Based Statistical Shape Modeling of the Levator Ani
Output type
D - Journal article
Volume title
IEEE Transactions on Medical Imaging
Year
2009
DOI
10.1109/TMI.2009.2012894
Output title
Place and time authentication of cultural assets
Output type
E - Conference contribution
Volume title
IFIPTM 2008/Joint iTrust and PST Conference on Privacy, Trust Management and Security
Year
2008
DOI
10.1007/978-0-387-09428-1_18
Output title
Predictive access control for distributed computation
Output type
D - Journal article
Volume title
Science of Computer Programming
Year
2013
DOI
10.1016/j.scico.2012.05.008
Output title
Preventing Memory Error Exploits with WIT
Output type
E - Conference contribution
Volume title
IEEE Symposium on Security and Privacy (S&P'08)
Year
2008
DOI
10.1109/SP.2008.30
Output title
Primal and dual linear decision rules in stochastic and robust ...
Output type
D - Journal article
Volume title
Mathematical Programming
Year
2011
DOI
10.1007/s10107-009-0331-4
Output title
Probabilistic timing covert channels: to close or not to clo ...
Output type
D - Journal article
Volume title
International Journal of Information Security
Year
2011
DOI
10.1007/s10207-010-0107-0
Output title
Probabilistic Tracking of Affine-Invariant Anisotropic Regio ...
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2013
DOI
10.1109/TPAMI.2012.81
Output title
Processes in space
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2012
DOI
10.1016/j.tcs.2011.12.051
Output title
Proteomics signature profiling (PSP): a novel contextualization ...
Output type
D - Journal article
Volume title
Journal of Proteome Research
Year
2012
DOI
10.1021/pr200698c
Output title
Quantified epistemic logics for reasoning about knowledge in ...
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2009
DOI
10.1016/j.artint.2009.02.003
Output title
Rank-1 Modal Logics are Coalgebraic
Output type
D - Journal article
Volume title
Journal of Logic and Computation
Year
2010
DOI
10.1093/logcom/exn096
Output title
Rapid computation of value and risk for derivatives portfoli ...
Output type
D - Journal article
Volume title
Concurrency and Computation-Practice & Experience
Year
2012
DOI
10.1002/cpe.1778
Output title
Recognising realistic emotions and affect in speech: State of ...
Output type
D - Journal article
Volume title
Speech Communication
Year
2011
DOI
10.1016/j.specom.2011.01.011
Output title
Reconfigurable architecture for network flow analysis
Output type
D - Journal article
Volume title
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Year
2008
DOI
10.1109/TVLSI.2007.912115
First <
1 2 3 4 5
> Last
Showing outputs 101 - 150 of 201