Sciweavers

750 search results - page 3 / 150
» Program Chair's Message
Sort
View
CIB
2002
110views more  CIB 2002»
13 years 5 months ago
Message from the TCCI Chair
Xindong Wu
ADAEUROPE
2000
Springer
13 years 10 months ago
(True) Polymorphism in SPARK2000
of the Reliant Telco Platform, K. Wiesneth Safety-oriented INTERBUS INTERBUS Safety-, K. Meyer-Graefe Developing a Binding Process for Automated Program Recognition and Fault Local...
Tse-Min Lin, John A. McDermid
ATVA
2008
Springer
144views Hardware» more  ATVA 2008»
13 years 7 months ago
Tests, Proofs and Refinements
1 : Logic in Specification and Verification (abstract) Natarajan Shankar (SRI) Session Chair : Sungdeok Cha 12 : 00 13 : 00 Lunch 13 : 00 15 : 00 2 : Boolean Modeling of Cell Biolo...
Sriram K. Rajamani
ICDM
2010
IEEE
152views Data Mining» more  ICDM 2010»
13 years 3 months ago
Reviewer Profiling Using Sparse Matrix Regression
Thousands of scientific conferences happen every year, and each involves a laborious scientific peer review process conducted by one or more busy scientists serving as Technical/Sc...
Evangelos E. Papalexakis, Nicholas D. Sidiropoulos...