Sciweavers

2338 search results - page 280 / 468
» Using UML to model relational database operations
Sort
View
162
Voted
DOLAP
1998
ACM
15 years 9 months ago
Methodological Framework for Data Warehouse Design
Though designing a data warehouse requires techniques completely different from those adopted for operational systems, no significant effort has been made so far to develop a comp...
Matteo Golfarelli, Stefano Rizzi
ICFP
2012
ACM
13 years 7 months ago
Proof-producing synthesis of ML from higher-order logic
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
Magnus O. Myreen, Scott Owens
ECAL
2007
Springer
15 years 11 months ago
Symbiosis, Synergy and Modularity: Introducing the Reciprocal Synergy Symbiosis Algorithm
Symbiosis, the collaboration of multiple organisms from different species, is common in nature. A related phenomenon, symbiogenesis, the creation of new species through the genetic...
Rob Mills, Richard A. Watson
129
Voted
IDEAS
2005
IEEE
113views Database» more  IDEAS 2005»
15 years 10 months ago
Fine-Granularity Access Control in 3-Tier Laboratory Information Systems
Laboratory information systems (LIMS) are used in life science research to manage complex experiments. Since LIMS systems are often shared by different research groups, powerful a...
Xueli Li, Nomair A. Naeem, Bettina Kemme
158
Voted
KDD
1997
ACM
221views Data Mining» more  KDD 1997»
15 years 9 months ago
MineSet: An Integrated System for Data Mining
MineSetTM , Silicon Graphics’ interactive system for data mining, integrates three powerful technologies: database access, analytical data mining, and data visualization. It sup...
Clifford Brunk, James Kelly, Ron Kohavi