33 search results - page 7 / 7 » Refinement strategies for verification methods based on data... |
DALT
2010
Springer
13 years 8 days ago
2010
Springer
Social reasoning theories, whilst studied extensively in the area of multiagent systems, are hard to implement directly in agents. They often specify properties of beliefs or behav...
IPMI
2003
Springer
14 years 6 months ago
2003
Springer
Abstract. For medical image analysis issues where the domain mappings between images involve large geometrical shape changes, such as the cases of nonrigid motion recovery and inte...
RECOMB
2004
Springer
14 years 5 months ago
2004
Springer
Abstract. In this study we propose a novel model for the representation of biological networks and provide algorithms for learning model parameters from experimental data. Our appr...