Sciweavers

4526 search results - page 17 / 906
» An overview of clustering methods
Sort
View
DAISD
1994
104views more  DAISD 1994»
13 years 10 months ago
Validating Constraints with Partial Information: Research Overview
We are interested in the problem of validating the consistency of integrity constraints when data is modi ed. In particular, we consider how constraints can be checked with only p...
Jennifer Widom, Ashish Gupta, Yehoshua Sagiv, Jeff...
JUCS
2007
95views more  JUCS 2007»
13 years 8 months ago
Formal Methods Guest Editorial
: This introductory paper gives some historical background to the emergence of formal methods, overviews what subsequently happened, and surveys prospects for the future. Brief
Richard Banach
ICIP
2009
IEEE
14 years 9 months ago
An Overview Of Inverse Problem Regularization Using Sparsity
Sparsity constraints are now very popular to regularized inverse problems. We review several approaches which have been proposed in the last ten years to solve inverse problems su...
COMPSAC
2008
IEEE
14 years 3 months ago
Safety in Automotive Software: An Overview of Current Practices
Electronic control units and on-board networks for automotive applications cover a big variety of functions that in many cases are responsible of safetycritical behavior of the ve...
Paolo Panaroni, Giovanni Sartori, Fabrizio Fabbrin...
TREC
2007
13 years 9 months ago
WIM at TREC 2007
This paper introduced the four tracks that WIM-Lab Fudan University had taken part in at TREC 2007. For spam track, a multi-centre model was proposed considering the characteristi...
Jun Xu, Jing Yao, Jiaqian Zheng, Qi Sun, Junyu Niu