5210 search results - page 202 / 1042 » Tools for Distributed Facilitation |
158
click to vote
SERP
2007
15 years 6 months ago
2007
- There are many agent tools for facilitating professional programmers in developing multi-agent systems (MAS); however, not all of them can be easily used by users who are not pro...
149
click to vote
ISICT
2003
15 years 6 months ago
2003
: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...
158
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
128
click to vote
ICALT
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper introduces a Web-based tool that has been developed to facilitate learning object annotation in agricultural learning repositories with IEEE LOM-compliant metadata. Mor...
131
click to vote
IPMI
2003
Springer
15 years 9 months ago
2003
Springer
In this paper, a novel region growing algorithm for segmenting burn wounds in digital photographs of the skin is presented. This segmentation step has been developed as part of a C...