6020 search results - page 1078 / 1204 » A New Approach to Model Counting |
213
Voted
CASES
2007
ACM
15 years 10 months ago
2007
ACM
With increasing complexity of modern embedded systems, the availability of highly optimizing compilers becomes more and more important. At the same time, application specific inst...
161
Voted
CIDM
2009
IEEE
15 years 10 months ago
2009
IEEE
Most real-world classification problems involve continuous (real-valued) attributes, as well as, nominal (discrete) attributes. The majority of Ant Colony Optimisation (ACO) classi...
175
click to vote
CVPR
2009
IEEE
15 years 10 months ago
2009
IEEE
One promising approach to remove motion deblurring is to recover one clear image using an image pair. Existing dual-image methods require an accurate image alignment between the i...
155
click to vote
AIMSA
2004
Springer
15 years 10 months ago
2004
Springer
In: Proceedings of the Eleventh International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA-04), Springer-Verlag LNAI Series. c 2004 We present ...
147
click to vote
AINA
2006
IEEE
15 years 10 months ago
2006
IEEE
Using beam forming antennas in ad hoc networks have been recently focused on, in order to improve the space reuse. This news context implies to revisit network algorithms because t...