Filter your results
- 4
- 4
- 4
- 4
- 1
- 5
- 3
- 1
- 2
- 3
- 7
- 1
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
The Quotient Operation on Input-Driven Pushdown Automata19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.299-310, ⟨10.1007/978-3-319-60252-3_24⟩
Conference papers
hal-01657008v1
|
||
|
State Complexity of Suffix Distance19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.287-298, ⟨10.1007/978-3-319-60252-3_23⟩
Conference papers
hal-01656995v1
|
||
|
How Can Adding a Movement Improve Target Acquisition Efficacy?16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.496-514, ⟨10.1007/978-3-319-67687-6_34⟩
Conference papers
hal-01717196v1
|
||
|
Branching Measures and Nearly Acyclic NFAs19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.202-213, ⟨10.1007/978-3-319-60252-3_16⟩
Conference papers
hal-01657000v1
|