8917 search results - page 1227 / 1784 » Abstraction in Algorithm Animation |
187
click to vote
TACAS
2009
Springer
16 years 2 months ago
2009
Springer
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
199
Voted
TACAS
2009
Springer
16 years 2 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
187
click to vote
CSE
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—Collaborative or “Social” filtering has been successfully deployed over the years as a technique for analysing large amounts of user-preference knowledge to predict...
185
click to vote
CSE
2009
IEEE
16 years 2 months ago
2009
IEEE
—In online social networks (OSNs), user connections can be represented as a network. The network formed has distinct properties that distinguish it from other network topologies....
206
click to vote
GLOBECOM
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—Multichannel wireless networks provide the flexibility to utilize the available spectrum efficiently for achieving improved system performance in terms of throughput a...