894 search results - page 175 / 179 » Optimizations for LTL Synthesis |
111
Voted
IGARSS
2010
15 years 1 months ago
2010
The Level 1 Processing of SMOS transforms the data acquired by MIRAS (Microwave Imaging Radiometer with Aperture Synthesis) into geolocated TOA Brightness Temperatures, providing ...
155
click to vote
ECCV
2002
Springer
16 years 5 months ago
2002
Springer
Abstract. Natural scenes consist of a wide variety of stochastic patterns. While many patterns are represented well by statistical models in two dimensional regions as most image s...
131
Voted
ICPR
2004
IEEE
16 years 4 months ago
2004
IEEE
The bidirectional texture function (BTF) describes texture appearance variations due to varying illumination and viewing conditions. This function is acquired by large number of m...
128
Voted
ICCAD
2006
IEEE
16 years 16 days ago
2006
IEEE
Enumeration of bounded size cuts is an important step in several logic synthesis algorithms such as technology mapping and re-writing. The standard algorithm does not scale beyond...
144
Voted
FPGA
2010
ACM
16 years 14 days ago
2010
ACM
Guarded evaluation is a power reduction technique that involves identifying sub-circuits (within a larger circuit) whose inputs can be held constant (guarded) at specific times d...