Sciweavers

12334 search results - page 142 / 2467
» The Use of C
Sort
View
ICPR
2004
IEEE
16 years 5 months ago
Pose Invariant Affect Analysis using Thin-Plate Splines
Joel C. McCall, Mohan M. Trivedi
HYBRID
2009
Springer
15 years 11 months ago
Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach
M. C. F. Donkers, Laurentiu Hetel, W. P. M. H. Hee...
FMCAD
2009
Springer
15 years 11 months ago
Formal verification of analog designs using MetiTarski
William Denman, Behzad Akbarpour, Sofiène T...
CCS
2007
ACM
15 years 10 months ago
Security policy analysis using deductive spreadsheets
Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan,...