4084 search results - page 754 / 817 » Constraints in spatial structures |
ISPD
2012
ACM
12 years 5 months ago
2012
ACM
As technology scales and frequency increases, a new design style is emerging, referred to as hybrid designs, which contain a mixture of random logic and datapath standard cell com...
POPL
2012
ACM
12 years 5 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
KDD
2012
ACM
12 years 12 days ago
2012
ACM
With the wide deployment of smart card automated fare collection (SCAFC) systems, public transit agencies have been benefiting from huge volume of transit data, a kind of sequent...
CVPR
2000
IEEE
14 years 12 months ago
2000
IEEE
Conventional vision systems are designed to perform in clear weather. However, any outdoor vision system is incomplete without mechanisms that guarantee satisfactory performance u...
CVPR
2009
IEEE
15 years 5 months ago
2009
IEEE
In an 2D echocardiogram exam, an ultrasound probe
samples the heart with 2D slices. Changing the orientation
and position on the probe changes the slice viewpoint, altering
the ...