6020 search results - page 1160 / 1204 » A New Approach to Model Counting |
153
Voted
CODES
2009
IEEE
15 years 8 months ago
2009
IEEE
Field Programmable Gate Arrays (FPGAs) have long held the promise of allowing designers to create systems with performance levels close to custom circuits but with a softwarelike ...
149
click to vote
EUROCRYPT
2007
Springer
15 years 8 months ago
2007
Springer
We show an efficient secure two-party protocol, based on Yao's construction, which provides security against malicious adversaries. Yao's original protocol is only secur...
119
click to vote
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
Nitrogen is one of the most important chemical intakes to ensure the healthy growth of agricultural crops. However, some environmental concerns emerge (soil and water pollution) w...
130
click to vote
VLDB
1995
ACM
15 years 7 months ago
1995
ACM
New demandsare put on query processing in Object-Oriented(00) databasesto provide efficient andrelationally completequery languages. A flexible 00 data model requires overloading ...
144
Voted
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
In a corpus of jokes, a human might judge two documents to be the "same joke" even if characters, locations, and other details are varied. A given joke could be retold w...