7820 search results - page 1244 / 1564 » Formalization of Time and Space |
189
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
In mixed-signal designs, substrate noise originating from the digital part can seriously influence the functionality of the analog part. As such, accurately modeling the properti...
178
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. We study a number of embedded DSLs for autonomous ordinary differential equations (autonomous ODEs) in Haskell. A naive implementation based on the lazy tower of derivat...
176
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
We propose a semi-supervised model which segments and annotates images using very few labeled images and a large unaligned text corpus to relate image regions to text labels. Give...
159
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
We present an automatic method that establishes 3D correspondence between isometric shapes. Our goal is to find an optimal correspondence between two given (nearly) isometric sha...
162
click to vote
Publication
Detection of motion patterns in video data can be significantly simplified by abstracting away from pixel
intensity values towards representations that explicitly and compactly ca...