11397 search results - page 281 / 2280 » A Relational Abstraction for Functions |
154
click to vote
MFCS
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We consider the iterates of bilinear functions over the semiring (max, +). Equivalently, our object of study can be viewed as recognizable tree series over the semiring (...
182
click to vote
SSPR
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. For many statistical pattern recognition methods, distributions of sample vectors are assumed to be normal, and the quadratic discriminant function derived from the proba...
187
click to vote
WFLP
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Traditionally, machine learning algorithms such as decision tree learners have employed attribute-value representations. From the early 80's on people have started t...
223
click to vote
WFLP
2000
Springer
15 years 11 months ago
2000
Springer
We describe the current status of the development of CFLP, a system which aims at the integration of the best features of functional logic programming (FLP), cooperative constrain...
186
click to vote
INFORMATICALT
2007
15 years 7 months ago
2007
Abstract. The aim of this paper is to explore some features of the functional test generation problem, and on the basis of the gained experience, to propose a practical method for ...