3116 search results - page 395 / 624 » Positively dependent types |
192
click to vote
SAT
2009
Springer
16 years 1 months ago
2009
Springer
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
153
click to vote
HRI
2010
ACM
16 years 1 months ago
2010
ACM
—Managing user expectations of personal robots becomes particularly challenging when the end-user just wants to know what the robot can do, and neither understands nor cares abou...
153
click to vote
ACSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Cross-site Scripting (XSS) has emerged to one of the most prevalent type of security vulnerabilities. While the reason for the vulnerability primarily lies on the serverside, the ...
173
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Cases are widely used in professional education to engage learners with examples of real world practices. Collaboration in casebased learning can add to the authenticity of the ex...
184
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper is devoted to the control of a cable driven redundant parallel manipulator, which is a challenging problem due the optimal resolution of its inherent redundancy. Add...