2425 search results - page 9 / 485 » An abstraction of the Lidar measurements |
129
click to vote
CSL
2007
Springer
15 years 4 months ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ď...
SIGSOFT
1996
ACM
15 years 2 months ago
1996
ACM
Abstractions in Large Systems William G. Griswold, Member, IEEE, Morison I. Chen, Robert W. Bowdidge, Jenny L. Cabaniss, Van B. Nguyen, and J. David Morgenthaler Restructuring soft...
TC
1998
14 years 9 months ago
1998
ion Techniques for Validation Coverage Analysis and Test Generation Dinos Moundanos, Jacob A. Abraham, Fellow, IEEE, and Yatin V. Hoskote —The enormous state spaces which must be...
IPSN
2009
Springer
15 years 4 months ago
2009
Springer
bstract: Enabling Reliable and High-Fidelity Data Center Sensing Chieh-Jan Mike Liang†, Jie Liu‡ , Liqian Luo , Andreas Terzis††Johns Hopkins University ‡ Microsoft Re...
METRICS
1999
IEEE
15 years 2 months ago
1999
IEEE
The design of software is often depicted by graphs that show components and their relationships. For example, a structure chart shows the calling relationships among components. O...