661 search results - page 95 / 133 » Argument Reduction by Factoring |
175
click to vote
COCOON
2009
Springer
16 years 19 days ago
2009
Springer
Golumbic et al. [Discrete Applied Mathematics 154(2006) 1465-1477] defined the readability of a monotone Boolean function f to be the minimum integer k such that there exists an ...
157
click to vote
SPIN
2009
Springer
16 years 18 days ago
2009
Springer
Existing techniques for approximate storage of visited states in a model checker are too special-purpose and too DRAM-intensive. Bitstate hashing, based on Bloom filters, is good ...
156
click to vote
RECSYS
2009
ACM
16 years 17 days ago
2009
ACM
Utility or preference elicitation is a critical component in many recommender and decision support systems. However, most frameworks for elicitation assume a predefined set of fe...
127
click to vote
CLUSTER
2008
IEEE
16 years 16 days ago
2008
IEEE
—High-speed interconnects are frequently used to provide scalable communication on increasingly large high-end computing systems. Often, these networks are nonblocking, where the...
167
click to vote
ICRA
2007
IEEE
16 years 11 days ago
2007
IEEE
— In human-machine collaborative systems, robot joint compliance and human-input dynamics lead to involuntary tool motion into undesired regions. To correct this, a set of method...