723 search results - page 124 / 145 » Computer Applications to Structural Analysis of Pavements |
103
click to vote
CODES
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
BIBE
2007
IEEE
15 years 6 months ago
2007
IEEE
— Methods for reliable synthesis of long genes offer great promise for protein synthesis via expression of synthetic genes, with applications to improved analysis of protein stru...
119
click to vote
CVPR
2010
IEEE
15 years 5 months ago
2010
IEEE
Local features have proven very useful for recognition.
Manifold learning has proven to be a very powerful tool in
data analysis. However, manifold learning application for
imag...
LICS
2005
IEEE
15 years 5 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthem...
104
click to vote
MM
2003
ACM
15 years 5 months ago
2003
ACM
Color is very useful in locating and recognizing objects that occur in artificial environments. The color histogram has shown its efficiency and advantages as a general tool for v...