Sciweavers

4048 search results - page 220 / 810
» Design Science, Engineering Science and Requirements Enginee...
Sort
View
CAV
2010
Springer
197views Hardware» more  CAV 2010»
15 years 7 months ago
Abstract Analysis of Symbolic Executions
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
Aws Albarghouthi, Arie Gurfinkel, Ou Wei, Marsha C...
CAD
2005
Springer
15 years 3 months ago
Euclidean Voronoi diagram of 3D balls and its computation via tracing edges
Despite its important applications in various disciplines in science and engineering, the Euclidean Voronoi diagram for spheres, also known as an additively weighted Voronoi diagr...
Deok-Soo Kim, Youngsong Cho, Donguk Kim
225
Voted

Book
519views
17 years 2 months ago
Information Theory, Inference, and Learning Algorithms
This book is aimed at senior undergraduates and graduate students in Engineering, Science, Mathematics, and Computing. It expects familiarity with calculus, probability theory, and...
David J. C. MacKay
125
Voted

Presentation
413views
16 years 3 months ago
Digital Imaging and Communications in Medicine (DICOM)
DICOM WORLD, is your main website for learning, speaking, and discussing DICOM. This includes but not limited to DICOM, PACS, Radiology, DICOM related software, DICOM related devic...
Essa Islam
SADFE
2007
IEEE
15 years 10 months ago
The Rules of Time on NTFS File System
—With the rapid development and popularity of IT technology, criminals and mischievous computer users are given avenues to commit crimes and malicious activities. As forensic sci...
Kam-Pui Chow, Frank Y. W. Law, Michael Y. K. Kwan,...