3729 search results - page 484 / 746 » On Formal Modeling of Agent Computations |
206
click to vote
MICCAI
2010
Springer
15 years 5 months ago
2010
Springer
We present a new non-parametric model constraint graph min-cut algorithm for automatic kidney segmentation in CT images. The segmentation is formulated as a maximum a-posteriori es...
173
click to vote
AICCSA
2001
IEEE
15 years 10 months ago
2001
IEEE
: A software process is defined as a description of various steps that must be carried out by process agents to pursue the goals of software engineering. To support a software proc...
159
click to vote
NN
2006
Springer
15 years 6 months ago
2006
Springer
The existence of multiple parallel loops connecting sensorimotor systems to the basal ganglia has given rise to proposals that these nuclei serve as a selection mechanism resolvin...
192
click to vote
CIMCA
2005
IEEE
16 years 8 days ago
2005
IEEE
Owing to the increase in both heterogeneity and complexity in today’s networking systems, the need arises for an architecture for network-based services that provides flexibilit...
198
click to vote
EUC
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. In the future, homes will have numerous intelligent communicating devices, and the user would like to configure and coordinate their actions. Appliances and people in in...