13841 search results - page 2448 / 2769 » Algorithms and Constraint Programming |
126
click to vote
STTT
2010
15 years 2 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
223
Voted
WABI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present three heuristic strategies for folding RNA sequences into secondary structures including kissing hairpin motifs. The new idea is to construct a kissing hairpin...
137
click to vote
CCS
2010
ACM
15 years 2 months ago
2010
ACM
Cross-domain information exchange is a growing problem, as business and governmental organizations increasingly need to integrate their information systems with those of partially...
135
click to vote
CONEXT
2010
ACM
15 years 2 months ago
2010
ACM
Client-server networks are pervasive, fundamental, and include such key networks as the Internet, power grids, and road networks. In a client-server network, clients obtain a serv...
156
Voted
CVPR
2010
IEEE
15 years 2 months ago
2010
IEEE
The calculation of a low-rank approximation of a matrix is a fundamental operation in many computer vision applications. The workhorse of this class of problems has long been the ...