1860 search results - page 268 / 372 » tools 2009 |
PRIMA
2009
Springer
15 years 7 months ago
2009
Springer
Agent-oriented programming has been motivated in part by the conception that high-level programming constructs based on common tions such as beliefs and goals provide appropriate a...
PVM
2009
Springer
15 years 7 months ago
2009
Springer
The MPI datatype functionality provides a powerful tool for describing structured memory and file regions in parallel applications, enabling noncontiguous data to be operated on b...
127
Voted
SAT
2009
Springer
15 years 7 months ago
2009
Springer
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...
108
Voted
SBMF
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
114
Voted
SCALESPACE
2009
Springer
15 years 7 months ago
2009
Springer
In this work, we propose novel results for the optimization of divergences within the framework of region-based active contours. We focus on parametric statistical models where th...