49 search results - page 5 / 10 » Informal and Formal Medical Guidelines: Bridging the Gap |
TCS
2008
13 years 7 months ago
2008
This paper provides one more step towards bridging the gap between the formal and computational approaches to the verification of cryptographic protocols. We extend the well-known ...
ARGMAS
2007
Springer
13 years 11 months ago
2007
Springer
Interest-based negotiation (IBN) is a form of negotiation in which agents exchange information about their underlying goals, with a view to improving the likelihood and quality of ...
KCAP
2003
ACM
14 years 28 days ago
2003
ACM
The explosive growth in the biomedical literature has made it difficult for researchers to keep up with advancements, even in their own narrow specializations. In addition, this c...
ICALT
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper, we propose the use of Semantic Web technologies to bridge the gap between authoring systems and authors. The core part of our solution is the ontology-based framewo...
COBUILD
1998
Springer
13 years 12 months ago
1998
Springer
Interfaces to information systems, and the buildings in which such systems are embedded will typically be the result of the work of a large number of different disciplines, potenti...