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

Outputs (REF2)

11 - Computer Science and Informatics

Teesside University

Showing outputs 1 - 43 of 43
Output title
A brain-computer interface to a plan-based narrative
Output type
E - Conference contribution
Volume title
Proceedings of the 23rd International Joint Conference on Artificial Intelligence
Year
2013
DOI
Output title
A cognitive-experiential approach to modelling web navigatio ...
Output type
D - Journal article
Volume title
International Journal of Human-Computer Studies
Year
2012
DOI
10.1016/j.ijhcs.2012.03.003
Output title
A hybrid technique for English-Chinese cross language information ...
Output type
D - Journal article
Volume title
ACM Transactions on Asian Language Information Processing
Year
2008
DOI
10.1145/1362782.1362784
Output title
A specialization calculus for pruning disjunctive predicates ...
Output type
E - Conference contribution
Volume title
Proceedings of the 23rd International Conference on Computer-Aided Verification (CAV 2011). Lecture Notes in Computer Science 6806
Year
2011
DOI
10.1007/978-3-642-22110-1_23
Output title
An experimental analysis of experiential and cognitive variables ...
Output type
D - Journal article
Volume title
Human-Computer Interaction
Year
2012
DOI
10.1080/07370024.2011.646923
Output title
Assessing the readability of clinical documents in a document ...
Output type
E - Conference contribution
Volume title
Proceedings of the 10th ACM Symposium on Document Engineering
Year
2010
DOI
10.1145/1860559.1860585
Output title
CaveUDK: A VR game engine middleware
Output type
E - Conference contribution
Volume title
Proceedings of the 18th ACM Symposium on Virtual Reality Software and Technology
Year
2012
DOI
Output title
Controlling narrative time in interactive storytelling
Output type
E - Conference contribution
Volume title
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems
Year
2011
DOI
Output title
Efficient intent-based narrative generation using multiple planning ...
Output type
E - Conference contribution
Volume title
Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems
Year
2013
DOI
Output title
Emotional input for character-based interactive storytelling
Output type
E - Conference contribution
Volume title
Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems
Year
2009
DOI
Output title
Enhancing modular OO verification with separation logic
Output type
E - Conference contribution
Volume title
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Year
2008
DOI
10.1145/1328438.1328452
Output title
Evaluating multimodal affective fusion using physiological s ...
Output type
E - Conference contribution
Volume title
Proceedings of the 16th International Conference on Intelligent User Interfaces
Year
2011
DOI
10.1145/1943403.1943413
Output title
Exploiting model equivalences for solving interactive dynamic ...
Output type
D - Journal article
Volume title
Journal of Artificial Intelligence Research
Year
2012
DOI
10.1613/jair.3461
Output title
Exploiting path refinement abstraction in domain transition ...
Output type
E - Conference contribution
Volume title
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence
Year
2011
DOI
Output title
Exploring passive user interaction for adaptive narratives
Output type
E - Conference contribution
Volume title
Proceedings of the 2012 ACM International Conference on Intelligent User Interfaces
Year
2012
DOI
10.1145/2166966.2166990
Output title
Exploring the usability of immersive interactive storytellin ...
Output type
E - Conference contribution
Volume title
Proceedings of the 17th ACM Symposium on Virtual Reality Software and Technology
Year
2010
DOI
10.1145/1889863.1889887
Output title
From rhetorical structures to document structure: Shallow pragmatic ...
Output type
E - Conference contribution
Volume title
Proceedings of the 9th ACM Symposium on Document Engineering
Year
2009
DOI
10.1145/1600193.1600235
Output title
Generalised domain model acquisition from action traces
Output type
E - Conference contribution
Volume title
Proceedings of the 21st International Conference on Automated Planning and Scheduling
Year
2011
DOI
Output title
Generating story variants with constrained video recombinati ...
Output type
E - Conference contribution
Volume title
Proceedings of the 19th ACM International Conference on Multimedia
Year
2011
DOI
10.1145/2072298.2072329
Output title
Graphical models for interactive POMDPs: representations and ...
Output type
D - Journal article
Volume title
Autonomous Agents and Multi-Agent Systems
Year
2009
DOI
10.1007/s10458-008-9064-7
Output title
Improved use of partial policies for identifying behavioral ...
Output type
E - Conference contribution
Volume title
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems
Year
2012
DOI
Output title
Instantiating interactive narratives from patient education ...
Output type
E - Conference contribution
Volume title
Artificial Intelligence in Medicine
Year
2013
DOI
10.1007/978-3-642-38326-7_39
Output title
Interaction strategies for an affective conversational agent
Output type
D - Journal article
Volume title
Presence: Teleoperators and Virtual Environments
Year
2011
DOI
10.1162/PRES_a_00063
Output title
Linear logic for non-linear storytelling
Output type
E - Conference contribution
Volume title
Proceedings of the 2010 Conference on ECAI
Year
2010
DOI
10.3233/978-1-60750-606-5-713
Output title
Loop invariant synthesis in a combined abstract domain
Output type
D - Journal article
Volume title
Journal of Symbolic Computation
Year
2013
DOI
10.1016/j.jsc.2012.08.007
Output title
Mechanisms for multi-unit combinatorial auctions with a few distinct ...
Output type
E - Conference contribution
Volume title
Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems
Year
2013
DOI
Output title
Narrative generation through characters' point of view
Output type
E - Conference contribution
Volume title
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems
Year
2010
DOI
Output title
NetworkING: Using character relationships for interactive narrative ...
Output type
E - Conference contribution
Volume title
Proceedings of the 2013 International Conference on Autonomous Agents and Multiagent Systems
Year
2013
DOI
Output title
On Euclid's algorithm and elementary number theory
Output type
D - Journal article
Volume title
Science of Computer Programming
Year
2011
DOI
10.1016/j.scico.2010.05.006
Output title
Planning modulo theories: Extending the planning paradigm
Output type
E - Conference contribution
Volume title
Proceedings of the 22nd International Conference on Automated Planning and Scheduling
Year
2012
DOI
Output title
Ranking games that have competitiveness-based strategies
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2013
DOI
10.1016/j.tcs.2013.01.013
Output title
Speculation and negation: Rules, rankers, and the role of sy ...
Output type
D - Journal article
Volume title
Computational Linguistics
Year
2012
DOI
10.1162/COLI_a_00126
Output title
Structural analysis of narratives with the Coq proof assista ...
Output type
E - Conference contribution
Volume title
Interactive Theorem Proving
Year
2011
DOI
10.1007/978-3-642-22863-6_7
Output title
The algorithmics of solitaire-like games
Output type
D - Journal article
Volume title
Science of Computer Programming
Year
2013
DOI
10.1016/j.scico.2012.07.007
Output title
The application of automated planning to machine tool calibr ...
Output type
E - Conference contribution
Volume title
Proceedings of the 22nd International Conference on Automated Planning and Scheduling
Year
2012
DOI
Output title
The effect of user intent on the stability of search engine ...
Output type
D - Journal article
Volume title
Journal of the American Society for Information Science and Technology
Year
2011
DOI
10.1002/asi.21550
Output title
The role of context in perceptions of the aesthetics of web pages ...
Output type
D - Journal article
Volume title
International Journal of Human-Computer Studies
Year
2009
DOI
10.1016/j.ijhcs.2008.09.012
Output title
Timed automata patterns
Output type
D - Journal article
Volume title
IEEE Transactions on Software Engineering
Year
2008
DOI
10.1109/TSE.2008.52
Output title
Translation techniques in cross-language information retriev ...
Output type
D - Journal article
Volume title
ACM Computing Surveys
Year
2012
DOI
10.1145/2379776.2379777
Output title
User-experience from an inference perspective
Output type
D - Journal article
Volume title
ACM Transactions on Computer-Human Interaction
Year
2012
DOI
10.1145/2240156.2240159
Output title
Using lotteries to approximate the optimal revenue
Output type
E - Conference contribution
Volume title
Proceedings of the 2013 International Conference on Autonomous Agents and Multiagent Systems
Year
2013
DOI
Output title
Utilizing partial policies for identifying equivalence of behavioral ...
Output type
E - Conference contribution
Volume title
Proceedings of the 25th Conference on Artificial Intelligence
Year
2011
DOI
Output title
Visual programming of plan dynamics using constraints and la ...
Output type
E - Conference contribution
Volume title
Proceedings of the 21st International Conference on Automated Planning and Scheduling
Year
2011
DOI
Showing outputs 1 - 43 of 43