2153 search results - page 369 / 431 » From Requirements Models to Formal Specifications in B |
CIKM
2005
Springer
14 years 3 months ago
2005
Springer
The detection of new information in a document stream is an important component of many potential applications. In this paper, a new novelty detection approach based on the identi...
LWA
2008
13 years 11 months ago
2008
Information extraction is concerned with the location of specific items in (unstructured) textual documents, e.g., being applied for the acquisition of structured data. Then, the ...
JUCS
2008
13 years 10 months ago
2008
Abstract: Information integration applications combine data from heterogeneous sources to assist the user in solving repetitive data-intensive tasks. Currently, such applications r...
TSC
2008
13 years 10 months ago
2008
Web service composition (WSC) techniques assume that the parameters used to model the environment remain static and accurate throughout the composition's execution. However, W...
TMI
2002
13 years 9 months ago
2002
Colorectal cancer can easily be prevented provided that the precursors to tumors, small colonic polyps, are detected and removed. Currently, the only definitive examination of the ...