Andrew Slater

According to our database, Andrew Slater authored at least 6 papers between 1992 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

Modelling More Realistic SAT Problems.

Andrew Slater

Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002

1998

System Description: <i>card</i> <i>T</i>^<i>A</i><i>P</i>: The First Theorem Prover on a Smart Card.

Rajeev Goré, Joachim Posegga, Andrew Slater, Harald Vogt

Proceedings of the Automated Deduction, 1998

cardT^AP: Automated Deduction on a Smart Card.

Andrew Slater, Rajeev Goré, Joachim Posegga, Harald Vogt

Proceedings of the Advanced Topics in Artificial Intelligence, 1998

1996

Non-segmental analysis and synthesis based on a speech database.

Andrew Slater, John Coleman

Proceedings of the 4th International Conference on Spoken Language Processing, 1996

1994

Spread of CV and v-to-v coarticulation in british English: implications for the intelligibility of synthetic speech.

Sarah Hawkins, Andrew Slater

Proceedings of the 3rd International Conference on Spoken Language Processing, 1994

1992

Effects of stress and vowel context on velar stops in british English.

Andrew Slater, Sarah Hawkins

Proceedings of the Second International Conference on Spoken Language Processing, 1992