| Chapter in Edited Book
|
CB762
| 1995 Chapter in Edited Book
| Corne,D; Ross,PM; Fang,H
|
| Evolving Timetables
|
CB915
| 1995 Chapter in Edited Book
| Funk,P; Robertson,DS
|
| Case-Based Support for the Design of Dynamic System Requirements
|
CB919
| 1995 Chapter in Edited Book
| Yang,S; Robertson,DS; Lee,J
|
| Use of Case-based Reasoning in the Domain of Building Regulations
|
| Discussion Paper
|
DP155
| 1995 Discussion Paper
| Lee,W
|
| Genetic Programming and Behaviour-Based Robots
|
DP156
| 1995 Discussion Paper
| Ramscar,MJ
|
| Analogical and Similarity-Based Reasoning: an Examination of the Major Theories and Their Resultant Models
|
DP158
| 1995 Discussion Paper
| Mota,Ed
|
| Time Granularity in Simulation Models Within a Multi-Agent System - Thesis Proposal
|
DP159
| 1995 Discussion Paper
| Castro,A
|
| A Techniques-Based Framework for Program Generation in Ecological Modelling
|
DP160
| 1995 Discussion Paper
| Dennis,L
|
| Automating Coinduction
|
DP161
| 1995 Discussion Paper
| Gadanho,S
|
| Autonomy and Autopoiesis in Robotic Systems: which Architecture to Use?
|
DP162
| 1995 Discussion Paper
| Trewin,SM
|
| The Application of ;User Modelling and Conectionist Techniques to the Interpretation of Noisy Keyboard and Mouse Input
|
DP164
| 1995 Discussion Paper
| Perkins,SJ
|
| Incremental Evolution of Robot Controllers Using Shaping
|
DP165
| 1995 Discussion Paper
| Howells,T
|
| Pattern Recognition in Medical Time Series Data
|
DP166
| 1995 Discussion Paper
| Reeve,R
|
| Generating Walking Behaviours in Legged Robots
|
| Journal Paper
|
JP1085
| 1995 Journal Paper
| Fisher,RB
|
| Is Computer Vision still AI?
|
JP875
| 1995 Journal Paper
| McLean,R; Bundy,A; Liu,W
|
| Assignment Methods for Incidence Calculus
|
JP880
| 1995 Journal Paper
| Conlon,T; Bowman,N
|
| Expert Systems, Shells and Schools
|
JP885
| 1995 Journal Paper
| Bull,S; Brna,P; Pain,HG
|
| Extending the Scope of the Student Model
|
JP886
| 1995 Journal Paper
| Bull,S; Pain,HG; Brna,P
|
| Mr Collins: a Collaboratively Constructed, Inspectable Student Model for Intelligent Computer Assisted Language Learning
|
JP888
| 1995 Journal Paper
| Reiter,E; Mellish,CS; Levine,J
|
| Automatic Generation of Technical Documentation
|
JP900
| 1995 Journal Paper
| Trucco,E; Fisher,RB
|
| Experiments in Curvature-Based Segmentation of Range Data
|
JP901
| 1995 Journal Paper
| Borges,D; Bispo,EM; Fisher,RB
|
| Tenicas de Aquisicao Automatica de Modelos Geometrica para Reconhecimento e Inspecao
|
JP916
| 1995 Journal Paper
| Robertson,DS; Haggith,MC; Kendon,GB; Agusti,J; Goldsborough,D
|
| The Application of Logic Programming to Decision Support Systems in Ecology
|
JP917
| 1995 Journal Paper
| Park,N; Robertson,DS; gardner,K
|
| Extension of the Temporal Synchrony Approach to Dynamic Variable Binding in a Connectionist Inference System
|
JP918
| 1995 Journal Paper
| Kendon,GB; Walker,DA; Robertson,DS; Haggith,MC; Sinclair,F; Muetzelfeldt,R
|
| Supporting Customised Reasoning in the Agroforesty Domain
|
JP922
| 1995 Journal Paper
| Androutsopoulos,I; Ritchie,GD; Thanisch,P
|
| Natural Language Interfaces to Databases - an Introduction
|
JP975
| 1995 Journal Paper
| Yangs,S; Robertson,DS
|
| A Case-Based Reasoning System to Support the Relaxation of Building Regulations
|
JP977
| 1995 Journal Paper
| Mellish,CS
|
| Natural Language Generation and Technical Documentation
|
JP987
| 1995 Journal Paper
| Shen,Q; Leitch,R
|
| Diagnosing Continuous Systems with Qualitative Dynamic Models
|
JP988
| 1995 Journal Paper
| Leitch,R; Freitag,H; Tornielli,G; Shen,Q
|
| Composing Model Based Diagnostic Systems
|
JP989
| 1995 Journal Paper
| Leitch,R; Chantler,M; Brown,K; Kane,T; Shen,Q
|
| Modelling Choices in Intelligent Systems
|
| MSc Thesis
|
MT9502
| 1995 MSc Thesis
| Aduana,G
|
| Experiments in Rule Based Adaptive Control
|
MT9504
| 1995 MSc Thesis
| Allen,J
|
| Hector: the Use of Hyperschemas for Natural Language Generation in Exploratory Domains
|
MT9506
| 1995 MSc Thesis
| Athanasiou,E
|
| Phoevos, Applying a Meta-Level Architecture to a Kbs for Harmonisation
|
MT9508
| 1995 MSc Thesis
| Birbilis,A
|
| Recognizing Walking People
|
MT9510
| 1995 MSc Thesis
| Caraza Pancardo,L
|
| Fault Trees for Logic Programs
|
MT9512
| 1995 MSc Thesis
| Chandrinos,K
|
| Quantifying Atherosclerotic Changes with Digital Image Processing
|
MT9514
| 1995 MSc Thesis
| Chong,T
|
| Derivation and Use of Function in the Design of Chemical Processes
|
MT9516
| 1995 MSc Thesis
| Hart,E
|
| Investigation of a Multiple Chromosome Evolutionary Algorithm for Bus Driver Scheduling and Other Problems
|
MT9518
| 1995 MSc Thesis
| Dallari,B
|
| Disambiguation of Compound Nouns by Domain-Specific Semantic Modelling
|
MT9520
| 1995 MSc Thesis
| Fairbank,M
|
| A Neural Network Vision System Based on the Curvature Primal Sketch
|
MT9522
| 1995 MSc Thesis
| Finlay,L
|
| Data Mining Using a Multi-Agent Self-Organizing Clustering System
|
MT9524
| 1995 MSc Thesis
| Cheng,B
|
| Plan Execution in an Environmental Domain
|
MT9526
| 1995 MSc Thesis
| Gonzalez Hernandez,LF
|
| Evolutionary Divide and Conquer for the Set-Covering Problem
|
MT9528
| 1995 MSc Thesis
| Grove,T
|
| Attention Directed Iconic Object Matching
|
MT9530
| 1995 MSc Thesis
| Hatzis,A
|
| Visualisation of Articulation for the Hearing Impaired with Self Organising Maps
|
MT9532
| 1995 MSc Thesis
| Isard,A
|
| Ssml: a Markup Language for Speech Synthesis
|
MT9534
| 1995 MSc Thesis
| Jack,D
|
| Periodic Activity Detection
|
MT9536
| 1995 MSc Thesis
| Jones,DC
|
| Recognition of Ugaritic Characters from Clay Tablet Images
|
MT9538
| 1995 MSc Thesis
| Kim,D
|
| Automated Pipe Route Generation Using Genetic Algorithms
|
MT9540
| 1995 MSc Thesis
| Lambert,A
|
| Properties of Convergence Zone Associative Memory: an Experimental Investigation
|
MT9542
| 1995 MSc Thesis
| Lewis,M
|
| Music Abstractly Represented by Logical Expressions (Marble)
|
MT9544
| 1995 MSc Thesis
| Long,G
|
| Need to Know: Using Ai for Effective Retrieval of "Everyday" Information
|
MT9546
| 1995 MSc Thesis
| Mai,V
|
| Developing of a Stereo Vision Head and Implementation of Tracking Algorithms
|
MT9548
| 1995 MSc Thesis
| Masterton,S
|
| Modeling Changing Interests in the Domain of Electronic News
|
MT9550
| 1995 MSc Thesis
| Mitchell,J
|
| Domestic Bliss: Accommodation Allocation for International Students
|
MT9552
| 1995 MSc Thesis
| Moukas,A
|
| Learning and Group Behaviour in Interacting Agents
|
MT9554
| 1995 MSc Thesis
| Murphy,P
|
| Evolving Natural Motions for Animation
|
MT9556
| 1995 MSc Thesis
| Radix,C
|
| Conceptual Design of Robots Using Evolutionary Algorithms
|
MT9558
| 1995 MSc Thesis
| Ramirez-Najera,R
|
| Interpreting Transmission Error Function for Gear Diagnosis
|
MT9560
| 1995 MSc Thesis
| Retalis,S
|
| Investigating the Use of a Meta-Level Argumentation Framework as a Basis for Tutoring in Controversial Domains
|
MT9561
| 1995 MSc Thesis
| Ribeiro,A
|
| Natural Language Generation with Rhetorical Relations and Focus Theory
|
MT9562
| 1995 MSc Thesis
| Richardson,S
|
| A Genetic Algorithm for Optimising Inter-Planetary Trajectories
|
MT9564
| 1995 MSc Thesis
| Rigas,N
|
| Analog Neural Networks with Nonmonotonic Transfer Functions
|
MT9566
| 1995 MSc Thesis
| Rivas-Palma,C
|
| Applying Genetic Algorithms to Oil Tank and Pipeline Maintenance
|
MT9568
| 1995 MSc Thesis
| Robb,I
|
| Simulated Annealing for Manufacturing Scheduling - an Infestigation
|
MT9570
| 1995 MSc Thesis
| Saady,R
|
| Kle: a Kanji Learning Environment
|
MT9572
| 1995 MSc Thesis
| Seldrup,I
|
| A Customisable Hpsg-Based Natural Language Front-End
|
MT9573
| 1995 MSc Thesis
| Shepherd,S
|
| Course Selector: a System to Support Course Selection in the Department of Artificial Intelligence
|
MT9574
| 1995 MSc Thesis
| Sordo Sanchez,MM
|
| Neural Nets for Detection of Down'S Syndrome
|
MT9576
| 1995 MSc Thesis
| Stevenson,M
|
| A Menu Driven Approach to Natural Language Interfaces
|
MT9578
| 1995 MSc Thesis
| Teran,N
|
| Intelligent Support for Planning Domain Knowledge Acquisition
|
MT9580
| 1995 MSc Thesis
| Tuson,AL
|
| Adapting Operator Probabilities in Genetic Algorithms
|
MT9582
| 1995 MSc Thesis
| Vagianou,E
|
| "Alexandros" Interface Agents in Self-Organizing Systems: a Prototype
|
MT9584
| 1995 MSc Thesis
| Vogiatzis,D
|
| Symbiotic Evolution of Neural Networks
|
MT9586
| 1995 MSc Thesis
| Walker,T
|
| Generating Neural Networks with Genetic Algorithms Using a Marker Based Encoding
|
MT9588
| 1995 MSc Thesis
| Wehming,C
|
| Gaze Control with an Active Stereo Vision Head
|
MT9590
| 1995 MSc Thesis
| Wheeler,R
|
| Hybrid Tools for Intractable Problems: the Development of the who/Tb Integrated System
|
MT9592
| 1995 MSc Thesis
| White,I
|
| A Novel Process Based Plan Execution System
|
MT9594
| 1995 MSc Thesis
| Whittle,JN
|
| Analogy in Clam
|
MT9596
| 1995 MSc Thesis
| Wu,T
|
| Using Mollusc to Guide Raise Proofs
|
| Paper in Conference Proceedings
|
PP1209
| 1995 Paper in Conference Proceedings
| Chen-Burger,J; Robertson,DS; Fraser,J; Lissoni,C
|
| KBST: A Support Tool for Business Modelling in BSDM
|
PP763
| 1995 Paper in Conference Proceedings
| Kado,K; Ross,PM; Corne,D
|
| Investigating Genetic Algorithms for Facility Layout Problems
|
PP874
| 1995 Paper in Conference Proceedings
| Bundy,A; Lombart,V
|
| Relational Rippling: a General Approach
|
PP876
| 1995 Paper in Conference Proceedings
| Melis,E
|
| Theorem Proving by Analogy -- a Compelling Example
|
PP877
| 1995 Paper in Conference Proceedings
| Melis,E
|
| A Model of Analogy Driven Proof-Plan Construction
|
PP878
| 1995 Paper in Conference Proceedings
| Conlon,T
|
| Automated Analysis for Knowledge Based Modelling
|
PP879
| 1995 Paper in Conference Proceedings
| Conlon,T; Pain,HG
|
| Persistent Collaboration
|
PP882
| 1995 Paper in Conference Proceedings
| Bull,S; Smith,ML
|
| Using Targeted Negotiation to Support Students' Learning
|
PP883
| 1995 Paper in Conference Proceedings
| Bull,S; Pain,HG
|
| Did I Say What I Think I Said, and Do You Agree with Me?: Inspecting and Questioning the Student Model
|
PP884
| 1995 Paper in Conference Proceedings
| Bull,S
|
| Handling Native and Non-Native Language Transfer in CALL: Theory and Practice
|
PP887
| 1995 Paper in Conference Proceedings
| Levine,J; Mellish,CS
|
| The IDAS User Trials: Quantitative Evaluation
|
PP902
| 1995 Paper in Conference Proceedings
| Wren,DO; Fisher,RB
|
| Dextrous Hand Grasping Strategies using Preshapes and Digit Trajectories
|
PP903
| 1995 Paper in Conference Proceedings
| Wren,DO; Fisher,RB
|
| Planning Dextrous Hand Precison Grasps from Range Data, Using Preshaping and Finger Trajectories
|
PP904
| 1995 Paper in Conference Proceedings
| Walker,AV; Milano,N; Hallam,JC
|
| Are Sonar Errors in the Ear of the Beholder?: Towards and Understand of Complete Sonar Echoes
|
PP905
| 1995 Paper in Conference Proceedings
| Park,N; Robertson,DS
|
| A Localist Network Architecture for Log Inference Based on Temporal Synchrony Approach to Dynamic Variable Binding
|
PP906
| 1995 Paper in Conference Proceedings
| Pilu,M; Fisher,RB
|
| Equal Distance Sampling of Supereclipse Models
|
PP908
| 1995 Paper in Conference Proceedings
| Fisher,RB; Oliver,PI
|
| Multi-Variate Cross-Correlation and Image Matching
|
PP909
| 1995 Paper in Conference Proceedings
| Fitzgibbon,AW; Fisher,RB
|
| A Buyer's Guide to Conic Fitting
|
PP910
| 1995 Paper in Conference Proceedings
| Wright,M; Fitzgibbon,AW; Fisher,RB
|
| Convex Hulls, Occluding Contours, Aspect Graphs and the Hough Trnasform
|
PP911
| 1995 Paper in Conference Proceedings
| Lorusso,A; Eggert,D; Fisher,RB
|
| A Comparison of Four Algorithms for Estimating 3-D Rigid Transformations
|
PP912
| 1995 Paper in Conference Proceedings
| Hasselbring,W; Fisher,RB
|
| Using the PROSET-Linda Prototype Language for Investigating MIMD Algorithms for Machine Learning
|
PP913
| 1995 Paper in Conference Proceedings
| Fillatreau,P; Fisher,RB
|
| Non-polyhedral Landmark Recognition using 3D Depth Images and Partially Correct Models
|
PP914
| 1995 Paper in Conference Proceedings
| Wolfart,E; Fisher,RB; Walker,AV
|
| Position Refinement for a Navigating Robot using Motion Information Based on Honey Bee Stratagies
|
PP920
| 1995 Paper in Conference Proceedings
| Nicolov,N; Mellish,CS; Ritchie,GD
|
| Sentence Generation from Conceptual Graphs
|
PP921
| 1995 Paper in Conference Proceedings
| Androutsopoulos,I; Ritchie,GD; Thanisch,P
|
| Experience using TSQL2 in a Natural Language Front-end
|
PP924
| 1995 Paper in Conference Proceedings
| Mota,Ed; Haggith,MC; Smaill,AD; Robertson,DS
|
| Time Granularity in Simulation Models of Ecological Systems
|
PP925
| 1995 Paper in Conference Proceedings
| Knott,A
|
| An Empirical Methodology for Determining a Set of Coherence Relations
|
PP926
| 1995 Paper in Conference Proceedings
| Crowe,J
|
| Constraint-Based Event Recognition for Information Extraction
|
PP978
| 1995 Paper in Conference Proceedings
| Malcolm,CA
|
| The SOMASS System: a Hybrid Symbolic and Behaviour-based System to Plan and Execute Assemblies by Robot
|
PP979
| 1995 Paper in Conference Proceedings
| Aziz,N; Pain,HG; Brna,P
|
| Handling Contradictions in Student Modelling in Translating Algebraic Problems Systems (TAPS)
|
PP980
| 1995 Paper in Conference Proceedings
| Salles,P; Muetzelfeldt,R; Pain,HG
|
| Qualitative Models in Ecogology and their Use in Intelligent Tutoring Systems
|
PP981
| 1995 Paper in Conference Proceedings
| Sentance,S; Pain,HG
|
| A Generative Learner Model in the Domain of Second Language Learning
|
PP982
| 1995 Paper in Conference Proceedings
| Aziz,N; Pain,HG; Brna,P
|
| Modelling and Mending Student's Misconceptions in Translating Algebra Word Problems Using a Belief Revision System in TAPS
|
PP983
| 1995 Paper in Conference Proceedings
| Conlon,T; Pain,HG
|
| Persistent Collaboration: Marrying the Technology Push with the Learning Pull
|
PP984
| 1995 Paper in Conference Proceedings
| Chantler,M; Shen,Q; Leitch,R; Coghill,G
|
| On choosing Candidate Generation and Prediction Techniques
|
PP985
| 1995 Paper in Conference Proceedings
| Leitch,G; Shen,Q; Chantler,M; Coghill,G
|
| Model Properties and Classification of Approaches
|
PP986
| 1995 Paper in Conference Proceedings
| Chantler,M; Leitch,R; Shen,Q; Coghill,G
|
| A Methodology for the Development of Model-Based Diagnostic Systems
|
| PhD Thesis
|
PT9502
| 1995 PhD Thesis
| Agustin Molina,E
|
| Improving Performance of Blackboard Systems
|
PT9504
| 1995 PhD Thesis
| Busatto-Neto,R
|
| The Use of Proof Planning in Normalisation
|
PT9506
| 1995 PhD Thesis
| Liu,W
|
| Extended Incidence Calculus and Its Comparison with Related Theories
|
PT9508
| 1995 PhD Thesis
| Vargas-Vera,M
|
| Using Prolog Techniques to Guide Program Composition
|
PT9510
| 1995 PhD Thesis
| de Vasconcelos,W
|
| Extracting, Organising, Designing and Reusing Prolog Progamming Techniques
|
PT9512
| 1995 PhD Thesis
| Yang,S
|
| Kics: Representation of Regulatory Information and the Use of Case-Based Reasoning to Support the Relaxation Process
|
PT9514
| 1995 PhD Thesis
| Yeh,C
|
| Generation of Anaphors in Chinese
|
| Research Paper
|
RP678A
| 1995 Research Paper
| Fernandes,A; Ritchie,GD; Moffat,D
|
| A Formal Reconstruction of Procedural Semantics
|
RP729
| 1995 Research Paper
| Kraan,I; Basin,D; Bundy,A
|
| Middle-Out Reasoning for Synthesis and Induction
|
RP730
| 1995 Research Paper
| Robertson,DS; Park,N; Agusti,J
|
| Layered Design of Kbs from Specification to Hardware
|
RP731
| 1995 Research Paper
| Park,N; Robertson,DS; gardner,K
|
| Reasoning with Limited Unification in a Connectionist Rule-Based System
|
RP732
| 1995 Research Paper
| Park,N; Robertson,DS; gardner,K
|
| An Extension of the Temporal Synchrony Approach to Dynamic Variable Binding in a Connectionist Inference System
|
RP734
| 1995 Research Paper
| Androutsopoulos,I; Ritchie,GD; Thanisch,P
|
| A Framework for Natural Language Interfaces to Temporal Databases
|
RP735
| 1995 Research Paper
| Melis,E
|
| Analogy-Driven Proof-Plan Construction
|
RP736
| 1995 Research Paper
| Chen-Burger,J; Robertson,DS; Fraser,J; Lissoni,C
|
| Kbst: a Support Tool for Business Modelling in Bsdm
|
RP737
| 1995 Research Paper
| Lorusso,A; Eggert,D; Fisher,RB
|
| A Comparison of Four Algorithms for Estimating 3-D Rigid Transformations
|
RP738
| 1995 Research Paper
| Pryor,L
|
| Decisions, Decisions: Knowledge Goals in Planning
|
RP740
| 1995 Research Paper
| Mota,Ed; Haggith,MC; Smaill,AD; Robertson,DS
|
| Time Granularity in Simulation Models of Ecological Systems
|
RP741
| 1995 Research Paper
| Webb,B
|
| An Arbitrary Architecture for an Artificial Arthropod
|
RP742
| 1995 Research Paper
| Westhead,M
|
| Synchronous Systems for Behaviour Based Robot Control
|
RP745
| 1995 Research Paper
| Lowe,H; Bundy,A; McLean,D
|
| The Use of Proof Planning for Cooperative Theorem Proving
|
RP746
| 1995 Research Paper
| Conlon,T; Pain,HG
|
| Persistent Collaboration: Marrying the Technology Push with the Learning Pull
|
RP747
| 1995 Research Paper
| Crowe,J
|
| Constraint-Based Event Recognition for Information Extraction
|
RP748
| 1995 Research Paper
| Nicolov,N; Mellish,CS; Ritchie,GD
|
| Sentence Generation from Conceptual Graphs
|
RP749
| 1995 Research Paper
| Collins,G; Pryor,L
|
| Planning Under Uncertainty: Some Key Issues
|
RP750
| 1995 Research Paper
| Negrete-Yankelevich,S; Smaill,AD
|
| Guiding Proof Search in Logical Frameworks with Rippling
|
RP751
| 1995 Research Paper
| Wolfart,E; Fisher,RB; Walker,AV
|
| Position Refinement for a Navigating Robot Using Motion Information Based on Honey Bee Strategies
|
RP752
| 1995 Research Paper
| Fillatreau,P; Fisher,RB
|
| Non-Polyhedral Landmark Recognition Using 3D Depth Images and Partially Correct Models
|
RP753
| 1995 Research Paper
| Androutsopoulos,I; Ritchie,GD; Thanisch,P
|
| Experience Using Tsql2 in a Natural Language Interface
|
RP754
| 1995 Research Paper
| Haggith,MC
|
| Support for Argumentation in Natural Resource Management
|
RP755
| 1995 Research Paper
| Haggith,MC
|
| A Meta-Level Framework for Exploring Conflicts in Multiple Knowledge Bases
|
RP756
| 1995 Research Paper
| Fisher,RB; Oliver,PI
|
| Multi-Variate Cross-Correlation and Image Matching
|
RP757
| 1995 Research Paper
| Conlon,T
|
| Automated Analysis for Knowledge-Based Modelling
|
RP758
| 1995 Research Paper
| Yang,S; Robertson,DS
|
| A Case-Based Reasoning System to Support the Relaxation of Building Regulations
|
RP759
| 1995 Research Paper
| Bull,S; Pain,HG; Brna,P
|
| Mr Collins: a Collaboratively Constructed, Inspectable Student Model for Intelligent Computer Assisted Language Learning
|
RP760
| 1995 Research Paper
| Bull,S; Pain,HG
|
| "Did i Say what i Think i Said, and do You Agree with Me?": Inspecting and Questioning the Student Model
|
RP761
| 1995 Research Paper
| Bull,S; Brna,P; Pain,HG
|
| Extending the Scope of the Student Model
|
RP762
| 1995 Research Paper
| Bull,S
|
| Handling Native and Non-Native Language Transfer in Call: Theory and Practice
|
RP763
| 1995 Research Paper
| Ritchie,GD
|
| Completeness Conditions for Mixed Strategy Context Free Parsing
|
RP764
| 1995 Research Paper
| Pilu,M; Fisher,RB
|
| Equal-Distance Sampling of Superellipse Models
|
RP765
| 1995 Research Paper
| Lorusso,A; Eggert,D; Fisher,RB
|
| A Comparison of Four Algorithms for Estimating 3-D Rigid Transformations
|
RP766
| 1995 Research Paper
| Melis,E
|
| Analogy in Clam
|
RP767
| 1995 Research Paper
| Richardson,J
|
| Automating Changes of Data Type in Functional Programs
|
RP768
| 1995 Research Paper
| Wren,DO; Fisher,RB
|
| Dextrous Hand Grasping Strategies Using Preshapes and Digit Trajectories
|
RP769
| 1995 Research Paper
| Wren,DO; Fisher,RB
|
| Planning Dextrous Hand Precision Grasps from Range Data, Using Preshaping and Finger Trajectories
|
RP770
| 1995 Research Paper
| Aziz,N; Pain,HG; Brna,P
|
| Modelling and Mending Students' Misconceptions in Translating Algebra Word Problems Using a Belief Revision System in Taps
|
RP771
| 1995 Research Paper
| Aziz,N; Pain,HG; Brna,P
|
| Handling Contradictions in Learner Modelling in the "Translating Algebraic Problems System" (Taps)
|
RP772
| 1995 Research Paper
| Good,J
|
| The 'Right' Tool for the Task: an Investigation of External Representations, Program Abstractions and Task Requirements
|
RP773
| 1995 Research Paper
| Bull,S; Smith,ML
|
| Using Targeted Negotiation to Support Students' Learning
|
RP774
| 1995 Research Paper
| Bundy,A
|
| A Subsumption Architecture for Theorem Proving
|
RP775
| 1995 Research Paper
| Fitzgibbon,AW; Eggert,D; Fisher,RB
|
| High-Level Cad Model Acquisition from Range Images
|
RP776
| 1995 Research Paper
| Vasconcelos,W; Fuchs,N
|
| Prolog Program Development Via Enhanced Schema-Based Transformations
|
RP777
| 1995 Research Paper
| Smaill,AD; Green,I
|
| Automating the Synthesis of Functional Programs in Constructive Type Theory
|
RP778
| 1995 Research Paper
| Fisher,RB; Fitzgibbon,AW; Gionis,A; Wright,M; Eggert,D
|
| A Hand-Held Optical Surface Scanner for Environmental Modeling and Virtual Reality
|
RP779
| 1995 Research Paper
| Yoshida,T; Bundy,A; Green,I; Walsh,T; Basin,D
|
| Coloured Rippling: an Extension of a Theorem Proving Heuristic
|
| Technical Paper
|
TP32
| 1995 Technical Paper
| Dil,A
|
| Multi-Transputer Blackboard System: Software Documentation
|
TP34
| 1995 Technical Paper
| Pettinaro,GC; Malcolm,CA
|
| Two-Handed Robotic System
|
TP36
| 1995 Technical Paper
| Rock,S
|
| Visualising Multiple or Extended Execution of Eventualities
|
TP37
| 1995 Technical Paper
| Pientka,B
|
| A Heuristic for Case Analysis
|
| Working Paper
|
WP257
| 1995 Working Paper
| Wright,M; Deacon,G
|
| Orienting 2.5D Objects of Arbitrary Shape
|