1830 search results - page 105 / 366 » Functional Programs as Linked Data |
136
click to vote
ISBI
2011
IEEE
14 years 7 months ago
2011
IEEE
Automated cell tracking in populations is important for research and discovery in biology and medicine. In this paper, we propose a cell tracking method based on global spatiotemp...
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
There are many situations where an agent can perform one of several sets of actions in responses to changes in its environment, and the agent chooses to perform the set of actions...
145
click to vote
POPL
1997
ACM
15 years 7 months ago
1997
ACM
Pizza is a strict superset of Java that incorporates three ideas from the academic community: parametric polymorphism, higher-order functions, and algebraic data types. Pizza is d...
140
click to vote
PLPV
2009
ACM
16 years 4 days ago
2009
ACM
This paper is part of a line of work on using the logical techniques of polarity and focusing to design a dependent programming language, with particular emphasis on programming w...
116
click to vote
ICFP
2001
ACM
16 years 3 months ago
2001
ACM
This paper presents a new implementation technique for priority search queues. This abstract data type is an amazing blend of finite maps and priority queues. Our implementation s...