18016 search results - page 3201 / 3604 » Data Mining - Concepts and Techniques |
181
click to vote
VLDB
2005
ACM
16 years 9 days ago
2005
ACM
Schemas evolve over time to accommodate the changes in the information they represent. Such evolution causes invalidation of various artifacts depending on the schemas, such as sc...
192
click to vote
VMCAI
2005
Springer
16 years 9 days ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
162
click to vote
WEA
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Extensions of the randomized tournaments techniques introduced in [6, 7] to approximate solutions of 1-median and diameter computation of finite subsets of general metri...
210
click to vote
WSTST
2005
Springer
16 years 9 days ago
2005
Springer
Breast cancer is one of the major tumor related cause of death in women. Various artificial intelligence techniques have been used to improve the diagnoses procedures and to aid t...
177
click to vote
BTW
2005
Springer
16 years 9 days ago
2005
Springer
: This paper presents the MINERVA project that protoypes a distributed search engine based on P2P techniques. MINERVA is layered on top of a Chord-style overlay network and uses a ...