28445 search results - page 666 / 5689 » Anatomically based modeling |
113
Voted
IWMM
2000
Springer
15 years 8 months ago
2000
Springer
We extend Tofte and Talpin's region-based model for memory management to support backtracking and cuts, which makes it suitable for use with Prolog and other logic programmin...
132
Voted
ADAEUROPE
2008
Springer
15 years 7 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
145
Voted
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
We propose a computational model that facilitates agents in a MAS to collaboratively evolve their norms to reach the best norm conventions. Our approach borrows from the social con...
143
click to vote
EDUTAINMENT
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We describe methods for high-performance and high-quality rendering of point models, including advanced shading, anti-aliasing, and transparency. we keep the rendering qu...
87
Voted
DAGSTUHL
2007
15 years 6 months ago
2007
—An electronic voting system may be said to be composed by a number of components, each of which has a number of properties. One of the most attractive effects of this way of thi...