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 Dundee » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

University of Dundee

Showing outputs 1 - 41 of 41
Output title
A logic for reasoning about persuasion
Output type
D - Journal article
Volume title
Fundamenta Informaticae
Year
2008
DOI
Output title
A logic of delegation
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2010
DOI
10.1016/j.artint.2009.10.001
Output title
Accurate estimation of retinal vessel width using bagged decision ...
Output type
D - Journal article
Volume title
Medical Image Analysis
Year
2013
DOI
10.1016/j.media.2013.07.006
Output title
Action categorization by structural probabilistic latent semantic ...
Output type
D - Journal article
Volume title
Computer Vision and Image Understanding
Year
2010
DOI
10.1016/j.cviu.2010.04.006
Output title
Action categorization with modified hidden conditional random ...
Output type
D - Journal article
Volume title
Pattern Recognition
Year
2010
DOI
10.1016/j.patcog.2009.05.015
Output title
Age classification using radon transform and entropy based scaling ...
Output type
E - Conference contribution
Volume title
Proceedings of the British Machine Vision Conference
Year
2011
DOI
10.5244/C.25.28
Output title
An implicit characterization of PSPACE
Output type
D - Journal article
Volume title
ACM Transactions on Computational Logic
Year
2012
DOI
10.1145/2159531.2159540
Output title
Automatic generation of constraints for partial symmetry bre ...
Output type
E - Conference contribution
Volume title
Principles and practice of constraint programming - CP 2011 : 7th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings
Year
2011
DOI
10.1007/978-3-642-23786-7_55
Output title
Circularity in ethotic structures
Output type
D - Journal article
Volume title
Synthese
Year
2012
DOI
10.1007/s11229-012-0135-6
Output title
Classification and immunohistochemical scoring of breast tissue ...
Output type
D - Journal article
Volume title
IEEE Transactions on Biomedical Engineering
Year
2013
DOI
10.1109/TBME.2013.2264871
Output title
Coalgebraic derivations in logic programming
Output type
E - Conference contribution
Volume title
Leibniz International Proceedings in Informatics, LIPIcs
Year
2011
DOI
10.4230/LIPIcs.CSL.2011.352
Output title
'Digital motherhood' : how does technology support new mothe ...
Output type
E - Conference contribution
Volume title
CHI '13 : Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2013
DOI
10.1145/2470654.2470700
Output title
Discovery of invariants through automated theory formation
Output type
D - Journal article
Volume title
Formal Aspects of Computing
Year
2012
DOI
10.1007/s00165-012-0264-1
Output title
Estimating the motion of plant root cells from in vivo confocal ...
Output type
D - Journal article
Volume title
Machine Vision and Applications
Year
2010
DOI
10.1007/s00138-009-0207-x
Output title
Evaluating the STANDUP pun generating software with children ...
Output type
D - Journal article
Volume title
ACM Transactions on Accessible Computing
Year
2009
DOI
10.1145/1497302.1497306
Output title
Exploring visual and motor accessibility in navigating a virtual ...
Output type
D - Journal article
Volume title
ACM Transactions on Accessible Computing
Year
2009
DOI
10.1145/1530064.1530069
Output title
FABC : retinal vessel segmentation using AdaBoost
Output type
D - Journal article
Volume title
IEEE Transactions on Information Technology in Biomedicine
Year
2010
DOI
10.1109/TITB.2010.2052282
Output title
Implementing logical connectives in constraint programming
Output type
D - Journal article
Volume title
Artificial Intelligence
Year
2010
DOI
10.1016/j.artint.2010.07.001
Output title
Inductive and coinductive components of corecursive functions ...
Output type
D - Journal article
Volume title
Electronic Notes in Theoretical Computer Science
Year
2008
DOI
10.1016/j.entcs.2008.05.018
Output title
Influencing technology adoption by older adults
Output type
D - Journal article
Volume title
Interacting with Computers
Year
2010
DOI
10.1016/j.intcom.2010.09.001
Output title
Learning when to use lazy learning in constraint solving
Output type
E - Conference contribution
Volume title
ECAI 2010 : 19th European conference on artificial intelligence, 16-20 August 2010, Lisbon, Portugal - including Prestigious applications of artificial intelligence (PAIS-2010) proceedings
Year
2010
DOI
10.3233/978-1-60750-606-5-873
Output title
Linear dependent types and relative completeness
Output type
D - Journal article
Volume title
Logical Methods in Computer Science
Year
2012
DOI
Output title
Modelling argument recognition and reconstruction
Output type
D - Journal article
Volume title
Journal of Pragmatics
Year
2008
DOI
10.1016/j.pragma.2007.07.004
Output title
On logical reifications of the argument interchange format
Output type
D - Journal article
Volume title
Journal of Logic and Computation
Year
2012
DOI
10.1093/logcom/exs033
Output title
Parts-based segmentation with overlapping part models using Markov ...
Output type
D - Journal article
Volume title
Image and Vision Computing
Year
2009
DOI
10.1016/j.imavis.2008.04.020
Output title
Patients' Engagement With "Sweet Talk" : A Text Messaging Support ...
Output type
D - Journal article
Volume title
Journal of Medical Internet Research
Year
2008
DOI
10.2196/jmir.962
Output title
People detection in low-resolution video with non-stationary ...
Output type
D - Journal article
Volume title
Image and Vision Computing
Year
2009
DOI
10.1016/j.imavis.2008.06.013
Output title
Perseus. : Software for analyzing persuasion process
Output type
D - Journal article
Volume title
Fundamenta Informaticae
Year
2009
DOI
10.3233/FI-2009-0088
Output title
Progress on website accessibility?
Output type
D - Journal article
Volume title
ACM Transactions on the Web
Year
2013
DOI
10.1145/2435215.2435217
Output title
Proof-Pattern Recognition and Lemma Discovery in ACL2
Output type
E - Conference contribution
Volume title
Logic for Programming, Artificial Intelligence, and Reasoning Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings
Year
2013
DOI
Output title
Providing Adaptive Health Updates across the Personal Social ...
Output type
D - Journal article
Volume title
Human-Computer Interaction
Year
2013
DOI
10.1080/07370024.2013.819218
Output title
Proving Propositional Tautologies in a Natural Dialogue
Output type
D - Journal article
Volume title
Fundamenta Informaticae
Year
2013
DOI
10.3233/FI-2013-944
Output title
Regular texture analysis as statistical model selection
Output type
E - Conference contribution
Volume title
Computer Vision – ECCV 2008 : 10th European Conference on Computer Vision Marseille, France, October 12-18, 2008. Proceedings, Part IV
Year
2008
DOI
10.1007/978-3-540-88693-8_18
Output title
Representing and classifying arguments on the Semantic Web
Output type
D - Journal article
Volume title
Knowledge Engineering Review
Year
2011
DOI
10.1017/S0269888911000191
Output title
RERBEE : Robust efficient registration via bifurcations and elongated ...
Output type
D - Journal article
Volume title
IEEE Transactions on Medical Imaging
Year
2012
DOI
10.1109/TMI.2011.2167517
Output title
Same-Relation Constraints
Output type
E - Conference contribution
Volume title
Principles and Practice of Constraint Programming
Year
2009
DOI
Output title
SPRWeb : preserving subjective responses to website colour schemes ...
Output type
E - Conference contribution
Volume title
CHI '13 : Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2013
DOI
10.1145/2470654.2481283
Output title
Supporting personal narrative for children with complex communication ...
Output type
D - Journal article
Volume title
ACM Transactions on Computer-Human Interaction
Year
2012
DOI
10.1145/2240156.2240163
Output title
The emotional wellbeing of researchers : considerations for ...
Output type
E - Conference contribution
Volume title
CHI' 13 : Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2013
DOI
10.1145/2470654.2466248
Output title
Unification neural networks : unification by error-correction ...
Output type
D - Journal article
Volume title
Logic Journal of the IGPL
Year
2011
DOI
10.1093/jigpal/jzq012
Output title
Validating retinal fundus image analysis algorithms : issues ...
Output type
D - Journal article
Volume title
Investigative Ophthalmology & Visual Science
Year
2013
DOI
10.1167/iovs.12-10347
Showing outputs 1 - 41 of 41