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: University of York » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

University of York

1 2 3
> Last
Showing outputs 1 - 50 of 139
Output title
A Detailed Investigation into Low-Level Feature Detection in ...
Output type
D - Journal article
Volume title
Pattern Recognition
Year
2011
DOI
10.1016/j.patcog.2011.02.014
Output title
A Fuzzy Binary Neural Network for Interpretable Classificati ...
Output type
D - Journal article
Volume title
Neurocomputing
Year
2013
DOI
10.1016/j.neucom.2013.05.030
Output title
A learning adaptive Bollinger band system
Output type
E - Conference contribution
Volume title
2012 IEEE Conference on Computational Intelligence for Financial Engineering and Economics (CIFEr 2012) : New York City, New York, USA, 29-30 March 2012
Year
2012
DOI
10.1109/CIFEr.2012.6327770
Output title
A light scattering model for layered dielectrics with rough surface ...
Output type
D - Journal article
Volume title
International Journal of Computer Vision
Year
2008
DOI
10.1007/s11263-007-0113-5
Output title
A Machine-Learning Approach to Keypoint Detection and Landmarking ...
Output type
D - Journal article
Volume title
International Journal of Computer Vision
Year
2012
DOI
10.1007/s11263-012-0605-9
Output title
A process algebraic framework for specification and validation ...
Output type
D - Journal article
Volume title
Formal Aspects of Computing
Year
2010
DOI
10.1007/s00165-009-0119-6
Output title
A simple abstraction for complex concurrent indexes
Output type
E - Conference contribution
Volume title
OOPSLA '11 : Proceedings of the 2011 ACM international conference on Object oriented programming systems language and applications
Year
2011
DOI
10.1145/2076021.2048131
Output title
A Supercompiler for Core Haskell
Output type
E - Conference contribution
Volume title
Implementation and Application of Functional Languages : 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers
Year
2008
DOI
10.1007/978-3-540-85373-2_9
Output title
A Survey of Hard Real-Time Scheduling for Multiprocessor Sys ...
Output type
D - Journal article
Volume title
ACM Comput. Surv.
Year
2011
DOI
10.1145/1978802.1978814
Output title
A timeband framework for modelling real-time systems
Output type
D - Journal article
Volume title
Real-Time Systems
Year
2010
DOI
10.1007/s11241-010-9094-5
Output title
A UTP semantics for Circus
Output type
D - Journal article
Volume title
Formal Aspects of Computing
Year
2009
DOI
10.1007/s00165-007-0052-5
Output title
Accurate Determination of Loop Iterations for Worst-Case Execution ...
Output type
D - Journal article
Volume title
IEEE Transactions on Computers
Year
2010
DOI
10.1109/TC.2010.59
Output title
An algebraic approach to the design of compilers for object-oriented ...
Output type
D - Journal article
Volume title
Formal Aspects of Computing
Year
2010
DOI
10.1007/s00165-009-0124-9
Output title
An empirical study of hyperheuristics for managing very large ...
Output type
D - Journal article
Volume title
Journal of the operational research society
Year
2012
DOI
10.1057/jors.2011.48
Output title
Analogue summation of electrical spike trains in semiconductor ...
Output type
D - Journal article
Volume title
Physica E-Low Dimensional Systems and Nanostructures
Year
2008
DOI
10.1016/j.physe.2007.11.028
Output title
Artificial Biochemical Networks : Evolving Dynamical Systems ...
Output type
D - Journal article
Volume title
IEEE Transactions on Evolutionary Computation
Year
2012
DOI
10.1109/tevc.2013.2243732
Output title
ARTOO : adaptive random testing for object-oriented software
Output type
E - Conference contribution
Volume title
ICSE '08 : Proceedings of the 30th international conference on Software engineering
Year
2008
DOI
10.1145/1368088.1368099
Output title
Assurance cases and prescriptive software safety certification ...
Output type
D - Journal article
Volume title
Safety science
Year
2013
DOI
10.1016/j.ssci.2013.04.007
Output title
Automated Construction of Low Resolution Texture Mapped, Class ...
Output type
D - Journal article
Volume title
IEEE Transactions on Visualization and Computer Graphics
Year
2012
DOI
10.1109/TVCG.2011.101
Output title
Automated decision support on-board modern aircraft : a cognitive ...
Output type
D - Journal article
Volume title
Cognitive Technology
Year
2011
DOI
Output title
Automorphisms of Transition Graphs for Elementary Cellular A ...
Output type
D - Journal article
Volume title
JOURNAL OF CELLULAR AUTOMATA
Year
2009
DOI
Output title
Bayesian network learning by compiling to weighted MAX-SAT
Output type
E - Conference contribution
Volume title
Proceedings of the 24th Conference on Uncertainty in Artificial Intelligence (UAI 2008)
Year
2008
DOI
Output title
Bayesian network learning with cutting planes
Output type
E - Conference contribution
Volume title
Proceedings of the 27th Conference on Uncertainty in Artificial Intelligence (UAI 2011)
Year
2011
DOI
Output title
Better late than never : Information retrieval from black ho ...
Output type
D - Journal article
Volume title
Physical Review Letters
Year
2013
DOI
10.1103/PhysRevLett.110.101301
Output title
Bioinspired Load Balancing in Large-Scale WSNs Using Pheromone ...
Output type
D - Journal article
Volume title
International Journal of Distributed Sensor Networks
Year
2013
DOI
10.1155/2013/172012
Output title
Boolean logic gate design principles in unconventional computers ...
Output type
D - Journal article
Volume title
International journal of unconventional computing
Year
2012
DOI
Output title
Cameo : an alternative model of concurrency for Eiffel
Output type
D - Journal article
Volume title
Formal Aspects of Computing
Year
2009
DOI
10.1007/s00165-008-0096-1
Output title
CARMEN : a practical approach to metadata management
Output type
D - Journal article
Volume title
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Year
2010
DOI
10.1098/rsta.2010.0147
Output title
Characterization of Collective Gaussian Attacks and Security ...
Output type
D - Journal article
Volume title
Physical Review Letters
Year
2008
DOI
10.1103/PhysRevLett.101.200504
Output title
Class Schema Evolution for Persistent Object-Oriented Software ...
Output type
D - Journal article
Volume title
IEEE Transactions on Software Engineering
Year
2013
DOI
10.1109/TSE.2011.123
Output title
Classical Computing in Nuclear Magnetic Resonance
Output type
D - Journal article
Volume title
International Journal on Unconventional Computing
Year
2010
DOI
Output title
Coined quantum walks lift the cospectrality of graphs and tr ...
Output type
D - Journal article
Volume title
Pattern Recognition
Year
2009
DOI
10.1016/j.patcog.2008.10.025
Output title
Comparing the comprehensiveness of three expert inspection methodologies ...
Output type
D - Journal article
Volume title
Safety science
Year
2013
DOI
10.1016/j.ssci.2013.08.003
Output title
Concurrent abstract predicates
Output type
E - Conference contribution
Volume title
ECOOP 2010 – Object-Oriented Programming : 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings
Year
2010
DOI
10.1007/978-3-642-14107-2_24
Output title
Constraints on adaptation : Explaining deviation from optimal ...
Output type
D - Journal article
Volume title
JOURNAL OF EVOLUTIONARY BIOLOGY
Year
2010
DOI
10.1111/j.1420-9101.2010.02038.x
Output title
Continuous-variable quantum cryptography using two-way quantum ...
Output type
D - Journal article
Volume title
Nature Physics
Year
2008
DOI
10.1038/nphys1018
Output title
Correct hardware synthesis
Output type
D - Journal article
Volume title
Acta Informatica
Year
2011
DOI
10.1007/s00236-011-0142-y
Output title
Coupled Prediction Classification for Robust Visual Tracking
Output type
D - Journal article
Volume title
IEEE Transactions on Pattern Analysis and Machine Intelligence
Year
2010
DOI
10.1109/TPAMI.2009.175
Output title
Critical methods and user generated content : the iPhone on ...
Output type
E - Conference contribution
Volume title
CHI '09 : Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2009
DOI
10.1145/1518701.1518923
Output title
Deny-Guarantee Reasoning
Output type
E - Conference contribution
Volume title
Programming Languages and Systems, 18th European Symposium on Programming : ESOP 2009
Year
2009
DOI
10.1007/978-3-642-00590-9_26
Output title
Descriptive temporal template features for visual motion rec ...
Output type
D - Journal article
Volume title
Pattern Recognition Letters
Year
2009
DOI
10.1016/j.patrec.2009.03.003
Output title
Designing an interactive open-domain question answering syst ...
Output type
D - Journal article
Volume title
Natural Language Engineering
Year
2009
DOI
10.1017/S1351324908004919
Output title
Driving 3D Morphable Models Using Shading Cues
Output type
D - Journal article
Volume title
Pattern Recognition
Year
2012
DOI
10.1016/j.patcog.2011.11.013
Output title
Dynamic and Static Prototype Vectors for Semantic Compositio ...
Output type
E - Conference contribution
Volume title
The Fifth International Joint Conference on Natural Language Processing
Year
2011
DOI
Output title
Dynamic Potential-Based Reward Shaping
Output type
E - Conference contribution
Volume title
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems
Year
2012
DOI
Output title
Efficient Asynchronous Event Handling in the Real-Time Specification ...
Output type
D - Journal article
Volume title
ACM Trans. Embed. Comput. Syst.
Year
2010
DOI
10.1145/1814539.1814544
Output title
Efficient Software Verification : Statistical Testing Using Automated ...
Output type
D - Journal article
Volume title
IEEE Transactions on Software Engineering
Year
2010
DOI
10.1109/TSE.2010.24
Output title
Enabling Adaptive Techniques in Heterogeneous MPSoCs Based on ...
Output type
D - Journal article
Volume title
ACM Transactions on Reconfigurable Technology and Systems (TRETS)
Year
2012
DOI
10.1145/2362374.2362381
Output title
Engineering model transformations with transML
Output type
D - Journal article
Volume title
Software and Systems Modeling
Year
2013
DOI
10.1007/s10270-011-0211-2
Output title
Ensemble Determinization in Monte Carlo Tree Search for the Imperfect ...
Output type
D - Journal article
Volume title
Computational Intelligence and AI in Games, IEEE Transactions on
Year
2012
DOI
10.1109/TCIAIG.2012.2204883
1 2 3
> Last
Showing outputs 1 - 50 of 139