3742 search results - page 545 / 749 » On the Use of Formal Techniques for Validation |
186
click to vote
BPM
2008
Springer
15 years 8 months ago
2008
Springer
A given business process may face a large number of regulatory obligations the process may or comply with. Providing tools and techniques through which an evaluation of the complia...
279
click to vote
ICDE
2007
IEEE
16 years 7 months ago
2007
IEEE
We address the problem of preserving privacy in streams, which has received surprisingly limited attention. For static data, a well-studied and widely used approach is based on ra...
286
click to vote
ICDE
2004
IEEE
16 years 7 months ago
2004
IEEE
DNA Microarray provides a powerful basis for analysis of gene expression. Data mining methods such as clustering have been widely applied to microarray data to link genes that sho...
162
click to vote
MICCAI
2008
Springer
16 years 7 months ago
2008
Springer
Recent developments in MR data acquisition technology are starting to yield images that show anatomical features of the hippocampal formation at an unprecedented level of detail, p...
187
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
General image retrieval is often carried out by a text-based search engine, such as Google Image Search. In this case, natural language queries are used as input to the search eng...