Sciweavers

750 search results - page 3 / 150
» Program Chair's Message
Sort
View
76
Voted
DFT
2005
IEEE
129views VLSI» more  DFT 2005»
14 years 11 months ago
Message from the Symposium Chairs
CIB
2002
110views more  CIB 2002»
14 years 9 months ago
Message from the TCCI Chair
Xindong Wu
ADAEUROPE
2000
Springer
15 years 1 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»
14 years 11 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»
14 years 7 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...