6020 search results - page 168 / 1204 » A New Approach to Model Counting |
158
click to vote
IC
2007
15 years 5 months ago
2007
- The proliferation of the impressive web technologies provides developers with a way to produce performance efficient, usable, rich and interactive web based applications. A set o...
129
click to vote
TKDE
2008
15 years 4 months ago
2008
The multicampaign assignment problem is a campaign model to overcome the multiple-recommendation problem that occurs when conducting several personalized campaigns simultaneously. ...
124
click to vote
CERA
2005
15 years 4 months ago
2005
In order to accurately cost the new product manufacture, and to assess a `what if' scenario in a rapid manner, requires an information system which can integrate the process ...
132
click to vote
ICPR
2010
IEEE
15 years 2 months ago
2010
IEEE
In the presence of non-gaussian noise, we propose a method for the detection of underwater shipradiated signal. The wavelet decomposition of the underwater signal yields a natural...
157
click to vote
FPGA
2009
ACM
15 years 11 months ago
2009
ACM
We describe an optimization method for combinational and sequential logic networks, with emphasis on scalability and the scope of optimization. The proposed resynthesis (a) is cap...