1581 search results - page 173 / 317 » Mechanizing Inductive Reasoning |
167
click to vote
MICRO
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—Parameter variations have become a dominant challenge in microprocessor design. Voltage variation is especially daunting because it happens so rapidly. We measure and ch...
156
click to vote
ICDM
2007
IEEE
16 years 20 days ago
2007
IEEE
Using mobile devices, such as smart phones, people may create and distribute different types of digital content (e.g., photos, videos). One of the problems is that digital content...
204
click to vote
SECON
2007
IEEE
16 years 19 days ago
2007
IEEE
—Increasingly many wireless sensor network deployments are using harvested environmental energy to extend system lifetime. Because the temporal profiles of such energy sources e...
154
click to vote
GI
2007
Springer
16 years 16 days ago
2007
Springer
: Business information systems provide computer support for decision making across huge data sets. Smart Items are miniaturized computer and sensing systems embedded into physical ...
183
click to vote
WAPCV
2007
Springer
16 years 14 days ago
2007
Springer
The control of overt visual attention relies on an interplay of bottom-up and top-down mechanisms. Purely bottom-up models may provide a reasonable account of the looking behaviors...