1522 search results - page 156 / 305 » Practical Exception Specifications |
102
click to vote
CPAIOR
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We recently proposed a simple declarative language for specifying a wide range of counting and occurrence constraints. The language uses just two global primitives: the R...
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. The use of a medical guideline can be seen as the execution of computational tasks, sequentially or in parallel, in the face of patient data. It has been shown that many ...
122
click to vote
EDO
2006
Springer
15 years 5 months ago
2006
Springer
Businesses increasingly provide and use services, applying formal (Web) services technology for the description, composition, and management of software as services. At the same t...
124
click to vote
ESWS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We extend the notion of ontology matching to community-driven ontology matching. Primarily, the idea is to enable Web communities to establish and reuse ontology mappings...
MICAI
2000
Springer
15 years 5 months ago
2000
Springer
This paper presents a new method for the verification of the correct pronunciation of spoken words. This process is based on speech recognition technology. It can be particularly ...