11397 search results - page 141 / 2280 » A Relational Abstraction for Functions |
161
click to vote
OTM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Representing and reasoning over evolving objects has been investigated widely. Less attention has been devoted to the similar notion of relation migration, i.e., how tupl...
154
click to vote
ICRA
2005
IEEE
16 years 16 days ago
2005
IEEE
Abstract— In this paper we consider the problem of simultaneously localizing all members of a team of robots. Each robot is equipped with proprioceptive sensors and exteroceptive...
194
click to vote
NGC
2007
Springer
15 years 6 months ago
2007
Springer
Various data mining methods have been developed last few years for hepatitis study using a large temporal and relational database given to the research community. In this work we i...
178
click to vote
CISIS
2010
IEEE
16 years 1 months ago
2010
IEEE
Abstract—Discovery biological organisation of the cell in modules network is a challenging task. Currently, approaches based on a controlled vocabulary, as Gene Ontology, to iden...
180
click to vote
AFP
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. These notes discuss the simultaneous use of generalised fold operators and monads to structure functional programs. Generalised fold operators structure programs after th...