95 search results - page 5 / 19 » Declarative modeling of finite mathematics |
CICLING
2007
Springer
14 years 1 months ago
2007
Springer
Finite-state technology is considered the preferred model for representing the phonology and morphology of natural languages. The attractiveness of this technology for natural lang...
ISIPTA
2003
IEEE
14 years 27 days ago
2003
IEEE
The finite element method is widely used for solving various problems in geotechnical engineering practice. The input parameters required for the calculations are generally impre...
DALT
2004
Springer
14 years 1 months ago
2004
Springer
Declarative modelling approaches in principle assume a notion of representation or representational content for the modelling concepts. The notion of representational content as di...
ACL
1994
13 years 9 months ago
1994
This paper shows how to formally characterize language learning in a finite parameter space as a Markov structure, hnportant new language learning results follow directly: explici...
CONSTRAINTS
2007
13 years 7 months ago
2007
In this paper we present Cardinal, a general finite sets constraint solver just made publicly available in ECLiPSe Prolog, suitable for combinatorial problem solving by exploiting ...