Sciweavers

1173 search results - page 88 / 235
» On the Compositionality of Round Abstraction
Sort
View
119
Voted
AISADM
2005
Springer
15 years 6 months ago
A Cooperative Multi-agent Data Mining Model and Its Application to Medical Data on Diabetes
Abstract. We present CoLe, a model for cooperative agents for mining knowledge from heterogeneous data. CoLe allows for the cooperation of different mining agents and the combinat...
Jie Gao, Jörg Denzinger, Robert C. James
109
Voted
ECML
2004
Springer
15 years 6 months ago
Exploiting Unlabeled Data in Content-Based Image Retrieval
Abstract. In this paper, the Ssair (Semi-Supervised Active Image Retrieval) approach, which attempts to exploit unlabeled data to improve the performance of content-based image ret...
Zhi-Hua Zhou, Ke-Jia Chen, Yuan Jiang
91
Voted
ISAAC
2001
Springer
118views Algorithms» more  ISAAC 2001»
15 years 5 months ago
On Adaptive Fault Diagnosis for Multiprocessor Systems
Abstract. We first consider adaptive serial diagnosis for multiprocessor systems. We present an adaptive diagnosis algorithm using N + t − 1 tests, which is the smallest possibl...
Kumiko Nomura, Toshinori Yamada, Shuichi Ueno
ARITH
1997
IEEE
15 years 5 months ago
On the Design of IEEE Compliant Floating Point Units
Engineering design methodology recommends designing a system as follows: Start with an unambiguous speci cation, partition the system into blocks, specify the functionality of eac...
Guy Even, Wolfgang J. Paul
97
Voted
ACNS
2006
Springer
138views Cryptology» more  ACNS 2006»
15 years 4 months ago
Syntax-Driven Private Evaluation of Quantified Membership Queries
Abstract. Membership queries are basic predicate operations that apply to datasets. Quantifications of such queries express global properties between datasets, including subset inc...
Aggelos Kiayias, Antonina Mitrofanova