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: King's College London » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

King's College London

1 2 3 4
> Last
Showing outputs 1 - 50 of 159
Output title
A General Account of Argumentation and Preferences
Output type
D - Journal article
Volume title
ARTIFICIAL INTELLIGENCE
Year
2013
DOI
10.1016/j.artint.2012.10.008
Output title
A hybrid approach to protein folding problem integrating constraint ...
Output type
D - Journal article
Volume title
BMC Bioinformatics
Year
2010
DOI
10.1186/1471-2105-11-S1-S39
Output title
A Hybrid LP-RPG Heuristic for Modelling Numeric Resource Flows ...
Output type
D - Journal article
Volume title
Journal Artificial Intelligence Research
Year
2013
DOI
10.1613/jair.3788
Output title
A Kalman Filter-Integrated Optical Flow Method for Velocity Sensing ...
Output type
D - Journal article
Volume title
IEEE ASME TRANSACTIONS ON MECHATRONICS
Year
2011
DOI
10.1109/TMECH.2010.2046421
Output title
A Learning Theoretic Approach to Energy Harvesting Communication ...
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS
Year
2013
DOI
10.1109/TWC.2013.030413.121120
Output title
A Low-Complexity Analytical Modeling for Cross-Layer Adaptive ...
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON MULTIMEDIA
Year
2010
DOI
10.1109/TMM.2010.2050734
Output title
A model of process documentation to determine provenance in ...
Output type
D - Journal article
Volume title
Acm Transactions On Internet Technology
Year
2009
DOI
10.1145/1462159.1462162
Output title
A New Efficient Algorithm for Computing the Longest Common S ...
Output type
D - Journal article
Volume title
THEORY OF COMPUTING SYSTEMS
Year
2009
DOI
10.1007/s00224-008-9101-6
Output title
A polynomial nominal unification algorithm
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2008
DOI
10.1016/j.tcs.2008.05.012
Output title
A Practical Approach to Energy Efficient Communications in Mobile ...
Output type
D - Journal article
Volume title
MOBILE NETWORKS AND APPLICATIONS
Year
2012
DOI
10.1007/s11036-011-0337-z
Output title
A Relevance-theoretic Framework for Constructing and Deconstructing ...
Output type
D - Journal article
Volume title
Journal of Logic and Computation
Year
2012
DOI
10.1093/logcom/exp064
Output title
A Routing Scheme for the IEEE-802.15.4-Enabled Wireless Sensor ...
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY
Year
2009
DOI
10.1109/TVT.2009.2027440
Output title
A systems model for immune cell interactions unravels the mechanism ...
Output type
D - Journal article
Volume title
PL o S Computational Biology
Year
2010
DOI
10.1371/journal.pcbi.1001024
Output title
A Translation-based Approach to Contingent Planning
Output type
E - Conference contribution
Volume title
Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI09) : Pasadena, California, USA, 11-17 July
Year
2009
DOI
Output title
A Two Party Haptic Guidance Controller Via a Hard Rein
Output type
E - Conference contribution
Volume title
2013 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
Year
2013
DOI
Output title
Air-float Palpation Probe for Tissue Abnormality Identification ...
Output type
D - Journal article
Volume title
IEEE Transactions on Biomedical Engineering
Year
2013
DOI
10.1109/TBME.2013.2264287
Output title
Amorphous Slicing of Extended Finite State Machines
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Year
2013
DOI
10.1109/TSE.2012.72
Output title
An efficient and versatile approach to trust and reputation using ...
Output type
D - Journal article
Volume title
ARTIFICIAL INTELLIGENCE
Year
2012
DOI
10.1016/j.artint.2012.09.001
Output title
An equational approach to the merging of argumentation netwo ...
Output type
E - Conference contribution
Volume title
Journal of Logic and Computation
Year
2013
DOI
10.1093/logcom/ext060
Output title
An inquiry dialogue system
Output type
D - Journal article
Volume title
Autonomous Agents and Multi-Agent Systems
Year
2009
DOI
10.1007/s10458-008-9074-5
Output title
Analysis and Design of Multichannel Systems for Perceptual Sound ...
Output type
D - Journal article
Volume title
Ieee Transactions On Audio Speech And Language Processing
Year
2013
DOI
10.1109/TASL.2013.2260152
Output title
Analytical Modeling for Delay-Sensitive Video Over WLAN
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON MULTIMEDIA
Year
2012
DOI
10.1109/TMM.2011.2173477
Output title
Aspect Assumptions: A retrospective study of AspectJ developers' ...
Output type
E - Conference contribution
Volume title
Proceedings of the tenth international conference on Aspect-oriented software development
Year
2011
DOI
10.1145/1960275.1960288
Output title
Autonomous science for an ExoMars Rover-like mission
Output type
D - Journal article
Volume title
Journal of field robotics
Year
2009
DOI
10.1002/rob.20289
Output title
Belief Revision
Output type
C - Chapter in book
Volume title
Handbook of Philosophical Logic
Year
2011
DOI
10.1007/978-94-007-0479-4_1
Output title
BELIEF REVISION IN NON-CLASSICAL LOGICS
Output type
D - Journal article
Volume title
Review Of Symbolic Logic
Year
2008
DOI
10.1017/S1755020308080246
Output title
Characteristic equation-based dynamics analysis of vibratory ...
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING
Year
2008
DOI
10.1109/TASE.2007.910301
Output title
Cognitive Radio Game for Secondary Spectrum Access Problem
Output type
E - Conference contribution
Volume title
IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS
Year
2009
DOI
10.1109/TWC.2009.080884
Output title
Cognitive radio transmission based on direct sequence MC-CDM ...
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS
Year
2008
DOI
10.1109/TWC.2007.060907
Output title
COLIN: Planning with Continuous Linear Numeric Change
Output type
D - Journal article
Volume title
Journal Artificial Intelligence Research
Year
2012
DOI
10.1613/jair.3608
Output title
Combined Features and Kernel Design for Noise Robust Phoneme ...
Output type
D - Journal article
Volume title
Ieee Transactions On Audio Speech And Language Processing
Year
2011
DOI
10.1109/TASL.2010.2090657
Output title
Communicating open systems
Output type
D - Journal article
Volume title
ARTIFICIAL INTELLIGENCE
Year
2012
DOI
10.1016/j.artint.2012.03.004
Output title
Compiling Uncertainty Away in Conformant Planning Problems with ...
Output type
D - Journal article
Volume title
Journal Artificial Intelligence Research
Year
2009
DOI
10.1613/jair.2708
Output title
Comprehensive Evaluation of the IEEE 802.15.4 MAC Layer Performance ...
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY
Year
2010
DOI
10.1109/TVT.2010.2063720
Output title
Computing Mutation Coverage in Interpolation-Based Model Che ...
Output type
D - Journal article
Volume title
Ieee transactions on computer-Aided design of integrated circuits and systems
Year
2012
DOI
10.1109/TCAD.2011.2180382
Output title
Computing the Maximal-Exponent Repeats of an Overlap-Free String ...
Output type
E - Conference contribution
Volume title
String Processing and Information Retrieval : 19th International Symposium, SPIRE 2012, Cartagena de Indias, Colombia, October 21-25, 2012. Proceedings
Year
2012
DOI
10.1007/978-3-642-34109-0_8
Output title
Constraint differentiation : Search-space reduction for the constraint-based ...
Output type
D - Journal article
Volume title
Journal of Computer Security
Year
2010
DOI
10.3233/JCS-2009-0351
Output title
Constraint-based specification of model transformations
Output type
D - Journal article
Volume title
Journal of Systems and Software
Year
2013
DOI
10.1016/j.jss.2012.09.006
Output title
Control Strategies for Patient-Assisted Training Using the Ankle ...
Output type
D - Journal article
Volume title
IEEE ASME TRANSACTIONS ON MECHATRONICS
Year
2013
DOI
10.1109/TMECH.2012.2214228
Output title
Correct-by-construction synthesis of model transformations using ...
Output type
D - Journal article
Volume title
Software and Systems Modeling
Year
2012
DOI
10.1007/s10270-012-0291-7
Output title
Cost/Revenue Tradeoff in the Optimization of Fixed WiMAX Deployment ...
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY
Year
2011
DOI
10.1109/TVT.2010.2083707
Output title
Creation and Growth of Online Social Network : How do social ...
Output type
D - Journal article
Volume title
World Wide Web
Year
2013
DOI
10.1007/s11280-012-0177-1
Output title
Data Delivery Properties of Human Contact Networks
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON MOBILE COMPUTING
Year
2011
DOI
10.1109/TMC.2010.225
Output title
Derivative Scores from Site Accessibility and Ranking of miRNA ...
Output type
D - Journal article
Volume title
International Journal of Bioinformatics Research and Applications
Year
2012
DOI
10.1504/IJBRA.2012.048966
Output title
Detection and Localization of Tissue Malignancy Using Contrast-Enhanced ...
Output type
D - Journal article
Volume title
IEEE Transactions on Biomedical Engineering
Year
2012
DOI
10.1109/TBME.2011.2179035
Output title
Deterministic planning in the fifth international planning competition: ...
Output type
D - Journal article
Volume title
Journal Artificial Intelligence Research
Year
2009
DOI
10.1016/j.artint.2008.10.012
Output title
Dexterous Manipulation of Origami Cartons With Robotic Fingers ...
Output type
D - Journal article
Volume title
Transactions of ASME: Journal of Mechanical Design
Year
2008
DOI
10.1115/1.2813783
Output title
Dialogue games that agents play within a society
Output type
D - Journal article
Volume title
ARTIFICIAL INTELLIGENCE
Year
2009
DOI
10.1016/j.artint.2009.02.002
Output title
Dialogues that account for different perspectives in collaborative ...
Output type
E - Conference contribution
Volume title
AAMAS '09: Proceedings of the Eighth International Conference on Autonomous Agents and Multi-Agent Systems
Year
2009
DOI
Output title
Distributed Space-Time Coding for Two-Way Wireless Relay Net ...
Output type
D - Journal article
Volume title
IEEE TRANSACTIONS ON SIGNAL PROCESSING
Year
2009
DOI
10.1109/TSP.2008.2009025
1 2 3 4
> Last
Showing outputs 1 - 50 of 159