1481 search results - page 290 / 297 » Enriching the Software Development Process by Formal Methods |
167
click to vote
BMCBI
2004
15 years 5 months ago
2004
Background: Carbohydrates are involved in a variety of fundamental biological processes and pathological situations. They therefore have a large pharmaceutical and diagnostic pote...
183
click to vote
ACMSE
2006
ACM
15 years 7 months ago
2006
ACM
A code clone represents a sequence of statements that are duplicated in multiple locations of a program. Clones often arise in source code as a result of multiple cut/paste operat...
164
click to vote
EUROSYS
2006
ACM
16 years 2 months ago
2006
ACM
Building content-based search tools for feature-rich data has been a challenging problem because feature-rich data such as audio recordings, digital images, and sensor data are in...
150
Voted
CCS
2009
ACM
15 years 12 months ago
2009
ACM
A major challenge of the anti-virus (AV) industry is how to effectively process the huge influx of malware samples they receive every day. One possible solution to this problem i...
159
click to vote
ICCS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Phylogeny reconstruction from molecular data poses complex optimization problems: almost all optimization models are NP-hard and thus computationally intractable. Yet app...