3108 search results - page 20 / 622 » The Elements of Computer Credibility |
CODES
2007
IEEE
14 years 1 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
TOG
2012
12 years 2 days ago
2012
Given a large repository of geotagged imagery, we seek to automatically find visual elements, e.g. windows, balconies, and street signs, that are most distinctive for a certain g...
ICIP
2006
IEEE
14 years 11 months ago
2006
IEEE
An efficient algorithm is presented for the computation of gray-scale morphological operations with 2-D structuring elements (S.E.). The required computing time is independent of ...
Book
This book covers the styling code convention of the C language.
ICALP
2009
Springer
14 years 10 months ago
2009
Springer