8828 search results - page 1621 / 1766 » Formal methods in practice |
177
click to vote
CP
2003
Springer
15 years 9 months ago
2003
Springer
Multiple sequence alignment is a central problem in Bioinformatics. A known integer programming approach is to apply branch-and-cut to exponentially large graph-theoretic models. T...
145
click to vote
ESSMAC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We consider a linear system, such as an estimator or a controller, in which several signals are transmitted over wireless communication channels. With the coding and medi...
129
click to vote
COCOON
2010
Springer
15 years 9 months ago
2010
Springer
We study algorithms for clustering data that were recently proposed by Balcan, Blum and Gupta in SODA’09 [4] and that have already given rise to two follow-up papers. The input f...
116
click to vote
KDD
2009
ACM
15 years 8 months ago
2009
ACM
Currently, the most significant line of defense against malware is anti-virus products which focus on authenticating valid software from a white list, blocking invalid software f...
192
click to vote
LCTRTS
2001
Springer
15 years 8 months ago
2001
Springer
Phase-decoupled methods for code generation are the state of the art in compilers for standard processors but generally produce code of poor quality for irregular target architect...