2488 search results - page 441 / 498 » An improvement in formal verification |
126
click to vote
AIME
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Morphological knowledge (inflection, derivation, compounds) is useful for medical language processing. Some is available for medical English in the UMLS Specialist Lexic...
144
click to vote
CBSQ
2003
Springer
15 years 6 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
100
click to vote
EMSOFT
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Event correlation is a service provided by middleware platforms that allows components in a publish/subscribe architecture to subscribe to patterns of events rather than ...
111
click to vote
ERCIMDL
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. The Web provides us with a vast resource for business intelligence. However, the large size of the Web and its dynamic nature make the task of foraging appropriate inform...
ERSHOV
2003
Springer
15 years 6 months ago
2003
Springer
Words in the explanatory dictionary have different meanings (senses) described using natural language definitions. If the definitions of two senses of the same word are too simi...