2435 search results - page 161 / 487 » Intellexer Question Answering |
125
click to vote
IUI
2003
ACM
15 years 9 months ago
2003
ACM
Computer-based annotation is increasing in popularity as a mechanism for revising documents and sharing comments over the Internet. One reason behind this surge is that viewpoints...
125
click to vote
COCO
2003
Springer
15 years 9 months ago
2003
Springer
In this paper we give new extremal bounds on polynomial threshold function (PTF) representations of Boolean functions. Our results include the following: • Almost every Boolean ...
125
click to vote
IEEEHPCS
2010
15 years 2 months ago
2010
Abstract. In this paper, we explore the two well-known principles of diversification and intensification in portfolio-based parallel SAT solving. These dual concepts play an impo...
156
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
—It is a well known fact that user-chosen passwords are somewhat predictable: by using tools such as dictionaries or probabilistic models, attackers and password recovery tools c...
154
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
A plausible definition of "reasoning" could be "algebraically manipulating previously acquired knowledge in order to answer a new question". This definition co...