1760 search results - page 324 / 352 » A System to Mark Programs Automatically |
124
Voted
CIKM
2008
Springer
15 years 4 months ago
2008
Springer
MetaMap is an online application that allows mapping text to UMLS Metathesaurus concepts, which is very useful interoperability among different languages and systems within the bi...
122
click to vote
CLIMA
2004
15 years 3 months ago
2004
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
133
click to vote
ACL
1998
15 years 3 months ago
1998
This paper describes a novel method by which a dialogue agent can learn to choose an optimal dialogue strategy. While it is widely agreed that dialogue strategies should be formul...
118
click to vote
CAD
2006
Springer
15 years 2 months ago
2006
Springer
Seamless integration of digital parts libraries or electronic parts catalogs for e-procurement is impeded by semantic heterogeneity. The utilization of ontologies as metadata desc...
124
click to vote
AAECC
2005
Springer
15 years 2 months ago
2005
Springer
Abstract In [24], a new size-change principle was proposed to verify termination of functional programs automatically. We extend this principle in order to prove termination and in...