Division of Informatics
Forrest Hill & 80 South Bridge

Documents by Keyword

3

• 3-d data
• 3-d surface registration
• 3d atlas
• 3d scene reconstruction

A

• abduction
• abstract data type
• abstract interpretation
• abstraction
• acquisition of motor competences in mobile robots
• acquisition order
• active inspection
• active sensing
• admissible
• ai
• ai and music
• ai-based design
• aied
• algebraic semantics
• analogy
• animal behaviour
• animat
• annotated trss
• aq11
• artificial intelligence
• artificial intelligence methodology
• assembly robotics
• attribute based induction
• automated deduction
• automated reasoning
• automated reasoning (program verification/synthesis/optimization)
• automated theorem proving
• automatic assembly
• autonomy

B

• behaviour based systems
• behaviour-based
• behavioural model
• bending surfaces
• best next views
• bidirectional search
• biomedical image intrepretation
• blackboard systems
• bound variables
• bridge
• bsdm
• business modelling

C

• cad
• camera calibration
• capital expenditure
• case based reasoning
• case-based reasoning
• cash flow
• ccs
• central pattern generators
• charecteristic views
• cims
• classification of prolog programs
• co-operative theorem proving
• collaboration
• composition methods
• computational logic
• computer aided design
• computer assisted instruction
• computer assisted language learning
• computer vision
• conceptual change
• conceptual change/education
• conceptual graphs
• conceptualising design knowledge
• configuration
• connectionism
• connectionist
• connectionist knowledge representation
• connectionist symbol processing
• connectionist unification
• constrained shape reconstruction
• construction of buildings
• control
• convex hulls
• creative domains
• creativity
• crusade
• curve sampling
• curve fitting
• cut

D

• debugging
• decision problems
• decision procedures
• decision support
• deduction
• deductive synthesis
• dempster-shafer theory
• dependancy information
• derivational morphology
• design
• design methods
• design prototypes
• design support
• design support systems
• design theory
• design theory heuristics
• development
• diagrammatic reasoning
• differential geometry
• direct calibration
• discovery
• discovery in mathematics
• distance transform

E

• ecological modelling
• edinburgh design system
• edinburgh designer system
• editors
• education
• embeddedness
• emotions
• environmental support
• error analysis
• errors
• evolutionary algorithms
• evolutionary robotics
• exit states
• expert systems
• expression
• extension matrixes
• extensions

F

• facility layout problem
• false conjectures
• feature-based reverse engineering
• files
• financial control
• finite state morphology
• finite-state transducers
• force control
• forgot
• formal method
• formal methods
• formal semantics
• from
• fuzzy logic control

G

• gait analysis
• gait recognition
• gas
• generalisation
• genetic algorithm
• genetic algorithms
• genetic programming
• geometric constraints
• geometric invariance
• geometric modeling
• geometric reasoning
• goal-oriented software
• graphical representation
• graphical representations
• grouping
• gttm

H

• handling inconsistency
• hostage
• hough transform
• hue spectra
• human motion perception
• humour
• humour generation
• hybrid architecture
• hypertext

I

• i
• id3
• ideal execution path
• ill structured problems
• image description
• image matching
• image processing
• imitation
• improving pose estimation
• incidence calculus
• include
• inconsistency
• induction
• inductive learning
• inductive theorem proving
• inference methods
• information
• information ingegration
• information retrieval
• input devices
• instructions
• int.planning sys.
• intelligent front ends
• intelligent robotics
• intelligent synthesiser design
• intelligent systems
• intentionality
• invarient surface properties
• iterative closest point algorithm

J

• join specification

K

• kalman filter
• kalman filtering
• keyboard
• keyboards
• khepera robot
• knowledge acquisition
• knowledge based systems
• knowledge level descriptions
• knowledge representation
• knowledge-based systems

L

• lambda calculus
• language acquisition
• language engineering
• language generation
• language transfer
• learning
• learning algorithms
• learning strategies
• learning through programming
• level
• lexicon
• linguistic tools
• localisation
• logic
• logic program synthesis
• logic programming
• logic programming and prolog
• logic programs
• logical frameworks

M

• machine translation
• machine vision
• mail
• mapbuilding
• mapbuilding using self-organising feature maps
• matching
• matelogical inference
• mathematical induction
• mathematical reasoning
• me
• melody composition
• mental models
• meta and higher-order programming
• meta-variables
• metatheory
• methodology
• misconceptions
• mobile robot
• mobile robots
• mobile vehicles
• modal logic
• model based commputer vision
• model based computer vision
• model based object recognition
• model based vision
• model matching
• model-based object recognition
• model-based vision
• modelling
• models
• modular representation
• morphology
• motion
• motivation
• motor disabilities
• moulding semnatics
• mouse
• moving light displays
• music
• music technology
• musical analysis

N

• natural language
• natural language interfaces
• natural languages
• neural correlates of behaviour
• neural net
• neural networks
• neurcontroller
• noise reduction
• non-linear planning
• novice programmers

O

• object modelling
• object recognition
• object verification
• observation
• ontology
• optical flow
• optimization

P

• parallel processing
• parallel search
• park
• parsing
• parsing as deduction
• perception
• perception and action
• performance
• pharmaceutical drugs
• physical disability
• planar sliding
• planning
• pose estimation
• power systems
• predicate logic
• pretty-printing
• prevent
• principle-based parsing
• probability
• process design
• program abstractions
• program analysis
• program construction
• program synthesis
• program synthesis and transformation
• program transformation
• program verification
• programming in the classroom
• programming languages
• programming methodologies
• programming techniques
• programming tools
• prolog
• proof
• proof planning
• proof plans
• proof search
• proof transformation
• proof-planning
• proofs as programs
• pruning
• psychology of programming
• puns

Q

• quantifier scoping
• query language

R

• range data
• range data analysis
• range data segmentation
• range image analysis
• range image segmentation
• range images
• range sensor
• reactive learning enviroments
• reactive learning environments
• reactive systems
• real-time
• reasoning & problem solving
• recursion analysis
• reflection
• regular relations
• reliability
• repetition
• representation
• requirements
• requirements capturing
• reuse
• reverse engineering
• rewriting
• riddles
• rigidity
• rippling
• robot control
• robot grasping
• robot language
• robot learning
• robotic assembly
• robotics
• robots
• rotation estimation
• rotation representations
• routines
• rule-based reasoning

S

• scheduling
• science education
• search
• segmentation
• selectionist neural nets
• self-organisation
• semantic nets
• semantics
• sensor fusion
• sensor planning
• sensorless manipulation
• shape estimation
• short-term memory
• signal understanding
• simulation
• simulation modelling
• situatedness
• situation semantics
• situation theory
• skeletonisation
• skeletons
• slice-based methods
• span measurement
• spatio
• special education
• specular reflections
• spelling
• sphere tessellation
• spurious reflection
• stereo vision
• stripe detection
• structure
• structure editor
• student model
• student modelling
• sub-pixel stripe position estimation
• sufficient requirements
• surface description
• surface fitting
• svd
• symbol grounding
• syntax-prosody interface
• synthesis
• synthesis proofs
• system architecture

T

• tactical reasoning
• tactics
• targeted negotiation
• techniques
• techniques editor
• temporal databases
• temproal databases
• tense and aspect
• term-rewriting systems
• termination
• test processing
• text generation
• that
• theorem proving
• theorom proving
• timetabling
• to
• tomographic data
• top
• tracking
• transformation
• tri-aural perception
• truth maintenance
• tsql2
• tutoring
• type theory

U

• ultrasonic sensor
• ultrasound
• uncalibrated vision
• uncertain reasoning
• uncertainty
• unfold/fold transformations
• unification categorial
• use
• user interfaces and planners
• user modelling

V

• verbal modifiers
• verification
• visibility analysis
• visual servo system
• volometric models
• volume representations
• volumeric object recognition
• volumetric segmentation
• voxelmap

Y

• yellowstone