2432 search results - page 436 / 487 » Using simple abstraction to reinvent computing for paralleli... |
93
Voted
APLAS
2007
ACM
15 years 1 months ago
2007
ACM
Abstract. Given the combinatorial nature of cellular signalling pathways, where biological agents can bind and modify each other in a large number of ways, concurrent or agent-base...
101
Voted
CGF
2008
14 years 9 months ago
2008
We present a novel approach to parameterize a mesh with disk topology to the plane in a shape-preserving manner. Our key contribution is a local/global algorithm, which combines a...
CADE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Inductive definitions and rule inductions are two fundamental reasoning tools in logic and computer science. When inductive definitions involve binders, then Barendregt&#...
FIMH
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In this paper, a statistical atlas of DT-MRIs based on a population of nine ex vivo normal canine hearts is compared with a human cardiac DT-MRI and a commonly used synth...
AAIM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The utilization of pseudo-random proportional rule to balance between the exploitation and exploration of the search process was shown in Ant Colony System (ACS) algorith...