2076 search results - page 243 / 416 » Functional logic overloading |
151
click to vote
CADE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Most methods for termination analysis of term rewrite systems (TRSs) essentially try to find arguments of functions that decrease in recursive calls. However, they fail ...
115
Voted
WILF
2007
Springer
15 years 10 months ago
2007
Springer
Two major problems related the unsupervised analysis of gene expression data are represented by the accuracy and reliability of the discovered clusters, and by the biological fact ...
145
click to vote
DEXAW
2006
IEEE
15 years 9 months ago
2006
IEEE
Content in semantic web portals is often projected along application specific navigational taxonomies and linked semantically. This paper presents a logic-based method and a serv...
FSKD
2005
Springer
15 years 9 months ago
2005
Springer
It is important nowadays to provide guidance for individuals or organizations to improve their knowledge according to their objectives, especially in the case of incomplete cogniti...
119
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
We have investigated the potential for using genetic programming to evolve compiler parsing and translation routines for processing arithmetic and logical expressions as they are ...