6020 search results - page 1151 / 1204 » A New Approach to Model Counting |
198
click to vote
JMLR
2011
14 years 11 months ago
2011
A widely agreed upon definition of time series causality inference, established in the seminal 1969 article of Clive Granger (1969), is based on the relative ability of the histor...
171
click to vote
TCSV
2010
14 years 11 months ago
2010
Abstract--Real-time stereo vision is attractive in many applications like robot navigation and 3D scene reconstruction. Data parallel platforms, e.g. GPU, is often used for real-ti...
132
click to vote
AAAI
2011
14 years 4 months ago
2011
One proposed approach to managing a large complex Smart Grid is through Broker Agents who buy electrical power from distributed producers, and also sell power to consumers, via a ...
165
click to vote
ICDE
2012
IEEE
13 years 6 months ago
2012
IEEE
Abstract—This paper presents the GeoFeed system; a locationaware news feed system that provides a new platform for its users to get spatially related message updates from either ...
149
click to vote
DAC
1999
ACM
15 years 8 months ago
1999
ACM
ion model or flexible PCB solutions cannot offer a valid solution for the next millinium SoCs . James G. Dougherty, Integrated Systems Silicon LTD, Belfast, Northern Ireland ISS an...