7167 search results - page 1274 / 1434 » A Technique for Invariant Generation |
192
Voted
IPMI
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. Recent advances in molecular biology are providing new opportunities for breast cancer imaging. Our approach uses ultrasound to image viscoelastic features of tumors. The...
196
click to vote
KDD
2005
ACM
16 years 18 days ago
2005
ACM
We propose a new text mining system which extracts characteristic contents from given documents. We define Key semantics as characteristic sub-structures of syntactic dependencie...
225
click to vote
MICAI
2005
Springer
16 years 18 days ago
2005
Springer
In Multi-agent based simulation (MABS) systems, computational models are built as multi-agent systems (MAS). Replication of these models can contribute to improve the reliability o...
226
click to vote
UML
2005
Springer
16 years 17 days ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
202
click to vote
VLDB
2005
ACM
16 years 17 days ago
2005
ACM
In various applications such as data cleansing, being able to retrieve categorical or numerical attributes based on notions of approximate match (e.g., edit distance, numerical di...