8728 search results - page 237 / 1746 » On Reduct Construction Algorithms |
177
click to vote
ICDE
2007
IEEE
16 years 28 days ago
2007
IEEE
—Radio Frequency Identification (RFID) is an emerging technique that can significantly enhance supply chain processes and deliver customer service improvements. RFID provides use...
163
click to vote
SMI
2007
IEEE
16 years 26 days ago
2007
IEEE
We address the 3D object retrieval problem using multivariate density-based shape descriptors. Considering the fusion of first and second order local surface information, we cons...
179
click to vote
PRDC
2006
IEEE
16 years 18 days ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
200
click to vote
QEST
2006
IEEE
16 years 18 days ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
179
click to vote
SIGSOFT
2006
ACM
16 years 16 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...