Sciweavers

6527 search results - page 1054 / 1306
» On Typing Information Flow
Sort
View
JELIA
2004
Springer
16 years 20 days 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...
KDD
2004
ACM
159views Data Mining» more  KDD 2004»
16 years 20 days 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
PATAT
2004
Springer
138views Education» more  PATAT 2004»
16 years 20 days ago
Semantic Components for Timetabling
Abstract. Automated timetabling is a research domain that has occupied many researchers over the last 50 years. Several algorithms have proven to be applicable to timetabling but t...
Nele Custers, Patrick De Causmaecker, Peter Demees...
SAS
2004
Springer
109views Formal Methods» more  SAS 2004»
16 years 20 days ago
Pointer-Range Analysis
Array-Range Analysis computes at compile time the range of possible index values for each array-index expression in a program. This information can be used to detect potential out-...
Suan Hsi Yong, Susan Horwitz
SEMWEB
2004
Springer
16 years 20 days ago
SemanticOrganizer: A Customizable Semantic Repository for Distributed NASA Project Teams
SemanticOrganizer is a collaborative knowledge management system designed to support distributed NASA projects, including multidisciplinary teams of scientists, engineers, and acci...
Richard M. Keller, Daniel C. Berrios, Robert E. Ca...
« Prev « First page 1054 / 1306 Last » Next »