1712 search results - page 171 / 343 » Abstract Constraint Data Types |
109
click to vote
ICCPOL
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Telugu is the third most spoken language in India and one of the fifteen most spoken languages in the world. But, there is no standardized input method for Telugu, which ...
106
Voted
APLAS
2005
ACM
15 years 8 months ago
2005
ACM
Abstract. Polymorphic recursion is a useful extension of HindleyMilner typing and has been incorporated in the functional programming language Haskell. It allows the expression of ...
124
click to vote
ICANN
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The paper presents a new version of a GMDH type algorithm able to perform an automatic model structure synthesis, robust model parameter estimation and model validation i...
113
click to vote
AIMSA
2006
Springer
15 years 6 months ago
2006
Springer
Effective automatic summarization usually requires simulating asoning such as abstraction or relevance reasoning. In this paper we describe a solution for this type of reasoning in...
109
Voted
JAR
2008
15 years 2 months ago
2008
Interactive provers typically use higher-order logic, while automatic provers typically use first-order logic. In order to integrate interactive provers with automatic ones, it is ...