7167 search results - page 136 / 1434 » A Technique for Invariant Generation |
133
click to vote
ACL
2006
15 years 7 months ago
2006
Natural Language Generation (NLG) is a way to automatically realize a correct expression in response to a communicative goal. This technology is mainly explored in the fields of m...
155
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
Invariant feature descriptors such as SIFT and GLOH have been demonstrated to be very robust for image matching and visual recognition. However, such descriptors are generally par...
143
click to vote
FMCAD
2007
Springer
16 years 15 days ago
2007
Springer
—Embedded systems typically consist of a composition of a set of hardware and software IP modules. Each module is heavily optimized by itself. However, when these modules are com...
263
click to vote
MM
2010
ACM
15 years 6 months ago
2010
ACM
Invariant feature descriptors such as SIFT and GLOH have been demonstrated to be very robust for image matching and object recognition. However, such descriptors are typically of ...
163
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
Automatic techniques for software verification focus on obtaining witnesses of program failure. Such counterexamples often fail to localize the precise cause of an error and usuall...