Sciweavers

9730 search results - page 115 / 1946
» Relating models of backtracking
Sort
View
AMC
2007
54views more  AMC 2007»
15 years 3 months ago
Optimization of radar scanning strategies using an ensemble relative error criterion
We study the formulation of the problem to retrieve wind fields from radar data. The considerations here view the radar locations as fixed with retrieved wind fields as functio...
Luther White, Alan Shapiro
167
Voted
POPL
2010
ACM
16 years 28 days ago
Toward a Verified Relational Database Management System
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
Avraham Shinnar, Greg Morrisett, J. Gregory Malech...
116
Voted
JOLLI
2008
95views more  JOLLI 2008»
15 years 3 months ago
Relational Modality
Saul Kripke's thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By th...
Kathrin Glüer, Peter Pagin
161
Voted
WIDM
2005
ACM
15 years 9 months ago
Exploiting native XML indexing techniques for XML retrieval in relational database systems
In XML retrieval, two distinct approaches have been established and pursued without much cross-fertilization taking place so far. On the one hand, native XML databases tailored to...
Felix Weigel, Klaus U. Schulz, Holger Meuss
KDD
2007
ACM
168views Data Mining» more  KDD 2007»
16 years 3 months ago
A probabilistic framework for relational clustering
Relational clustering has attracted more and more attention due to its phenomenal impact in various important applications which involve multi-type interrelated data objects, such...
Bo Long, Zhongfei (Mark) Zhang, Philip S. Yu