Filip Van Aelten

According to our database, Filip Van Aelten authored at least 6 papers between 1992 and 2001.

Collaborative distances:

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

2001

A Structured Language Model Based on Context-Sensitive Probabilistic Left-Corner Parsing.

Dong Hoon Van Uytsel, Filip Van Aelten, Dirk Van Compernolle

Proceedings of the Language Technologies 2001: The Second Meeting of the North American Chapter of the Association for Computational Linguistics, 2001

1996

An adaptive-beam pruning technique for continuous speech recognition.

Hugo Van hamme, Filip Van Aelten

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

1994

Event-based verification of synchronous, globally controlled, logic designs against signal flow graphs.

Filip Van Aelten, Jonathan Allen, Srinivas Devadas

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1994

1993

Verification of relations between synchronous machines.

Filip Van Aelten, Jonathan Allen, Srinivas Devadas

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993

1992

Automatic procedures for the behavioral verification of digital designs.

Filip Van Aelten

PhD thesis, 1992

Automatic generation and verification of sufficient correctness properties for synchronous processors.

Filip Van Aelten, Stan Y. Liao, Jonathan Allen, Srinivas Devadas

Proceedings of the 1992 IEEE/ACM International Conference on Computer-Aided Design, 1992