661 search results - page 95 / 133 » Argument Reduction by Factoring |
147
click to vote
COCOON
2009
Springer
15 years 10 months 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 ...
129
click to vote
SPIN
2009
Springer
15 years 10 months 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 ...
137
click to vote
RECSYS
2009
ACM
15 years 10 months 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...
106
click to vote
CLUSTER
2008
IEEE
15 years 10 months 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...
137
click to vote
ICRA
2007
IEEE
15 years 10 months 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...