Sciweavers

1662 search results - page 67 / 333
» Privately Finding Specifications
Sort
View
HICSS
2003
IEEE
125views Biometrics» more  HICSS 2003»
15 years 7 months ago
Impact of Technology Sustainability on Healthcare Governance
Healthcare technology investments must be borne by charity, government subsidy, or patient reimbursement. Such investments can be expensive and require partnerships of public and ...
Thomas Lee Rodgers, Evan E. Anderson, Ming Yuan, T...
144
Voted
NAR
2002
109views more  NAR 2002»
15 years 2 months ago
The Molecular Biology Database Collection: 2002 update
The Molecular Biology Database Collection is an online resource listing key databases of value to the biological community. This Collection is intended to bring fellow scientists&...
Andreas D. Baxevanis
113
Voted
SIGSOFT
2005
ACM
16 years 3 months ago
Relational analysis of algebraic datatypes
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
Viktor Kuncak, Daniel Jackson
101
Voted
KDD
1999
ACM
145views Data Mining» more  KDD 1999»
15 years 6 months ago
Discovery of Fraud Rules for Telecommunications - Challenges and Solutions
Many fraud analysis systemshave at their heart a rule-based enginefor generatingalertsaboutsuspiciousbehaviors.The rules in the systemareusually basedon expert knowledge. Automati...
Saharon Rosset, Uzi Murad, Einat Neumann, Yizhak I...
103
Voted
ICDT
2010
ACM
125views Database» more  ICDT 2010»
15 years 6 months ago
Synthesizing View Definitions from Data
Given a database instance and a corresponding view instance, we address the view definitions problem (VDP): Find the most succinct and accurate view definition, when the view quer...
Anish Das Sarma, Aditya Parameswaran, Hector Garci...