3374 search results - page 360 / 675 » Explaining Similarity of Terms |
183
click to vote
MICS
2010
15 years 5 months ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
176
click to vote
SIAMJO
2010
15 years 5 months ago
2010
Abstract. We present a new “lifting” approach for the solution of nonlinear optimization problems (NLPs) that have objective and constraint functions with intermediate variable...
214
click to vote
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
Protecting users' privacy is becoming one of the rising issues for the success of future communications. The Internet in particular, with its open architecture, presents sever...
242
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: The way mechanical stress is distributed inside and propagated by proteins and other biopolymers largely defines their function. Yet, determining the network of intera...
179
click to vote
CCR
2011
15 years 1 months ago
2011
Many papers explain the drop of download performance when two TCP connections in opposite directions share a common bottleneck link by ACK compression, the phenomenon in which dow...