11397 search results - page 101 / 2280 » A Relational Abstraction for Functions |
EPS
1997
Springer
14 years 2 months ago
1997
Springer
Abstract. In Neo-Darwinism, mutation can be considered to be unaffected by selection pressure. This is the metaphor generally used by the genetic algorithm for its treatment of the...
BIRTHDAY
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. This paper gives a reduction-preserving translation from Coquand's dependent pattern matching [4] into a traditional type theory [11] with universes, inductive types...
IRCDL
2007
13 years 11 months ago
2007
Abstract— In this paper we suggest a new approach to represent text document collections, integrating background knowledge to improve clustering effectiveness. Background knowled...
ANTSW
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. This paper analyzes the popular ant-based clustering approach of Lumer/Faieta. Analysis of formulae unveils that ant-based clustering is strongly related to Kohonen’s S...
BNCOD
2009
13 years 11 months ago
2009
Abstract. Database systems (DBSs) can play an essential role in facilitating the query and cache management in context-aware mobile information systems (CAMIS). Two of the fundamen...