Now showing items 1-2 of 2
A probabilistic model of Ancient Egyptian writing
(2017-07-01) - Journal article,
This article offers a formalization of how signs form words in Ancient Egyptian writing, for either hieroglyphic or hieratic texts. The formalization is in terms of a sequence of sign functions, which concurrently produce ...
Automatically improving constraint models in Savile Row
(2017-10) - Journal article,
When solving a combinatorial problem using Constraint Programming (CP) or Satisfiability (SAT), modelling and formulation are vital and difficult tasks. Even an expert human may explore many alternatives in modelling a ...