Sciweavers

1412 search results - page 203 / 283
» types 2004
Sort
View
JELIA
2004
Springer
15 years 11 months ago
Towards a Logical Analysis of Biochemical Pathways
Biochemical pathways or networks are generic representations used to model many different types of complex functional and physical interactions in biological systems. Models based ...
Patrick Doherty, Steve Kertes, Martin Magnusson, A...
JELIA
2004
Springer
15 years 11 months ago
Hierarchical Decision Making by Autonomous Agents
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
KDD
2004
ACM
159views Data Mining» more  KDD 2004»
15 years 11 months ago
Optimal randomization for privacy preserving data mining
Randomization is an economical and efficient approach for privacy preserving data mining (PPDM). In order to guarantee the performance of data mining and the protection of individ...
Michael Yu Zhu, Lei Liu
LATIN
2004
Springer
15 years 11 months ago
A Proof System and a Decision Procedure for Equality Logic
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...
Olga Tveretina, Hans Zantema
LSGRID
2004
Springer
15 years 11 months ago
Heterogeneous Database Federation Using Grid Technology for Drug Discovery Process
The rapid progress of biotechnology provides an increasing number of life science databases. These databases have been operated and managed individually on the Internet. Under such...
Yukako Tohsato, Takahiro Kosaka, Susumu Date, Shin...