8828 search results - page 374 / 1766 » Formal methods in practice |
207
click to vote
SIGPRO
2002
15 years 6 months ago
2002
Image restoration from degraded images lies at the foundation of image processing, pattern recognition, and computer vision, so it has been extensively studied. A large number of ...
177
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
The next generation of computer chips will continue the trend for more complexity than their predecessors. Many of them will contain different chip technologies and are termed SoC...
192
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: RNAmute is an interactive Java application which, given an RNA sequence, calculates the secondary structure of all single point mutations and organizes them into categ...
224
click to vote
AC
2007
Springer
15 years 7 months ago
2007
Springer
The focus of this chapter is to review what is known about free and open source software development (FOSSD) work practices, development processes, project and community dynamics,...
185
click to vote
GECCO
2004
Springer
16 years 5 days ago
2004
Springer
In this paper, we consider a variation of the Euclidean Steiner Tree Problem in which the space underlying the set of nodes has a specified non-uniform cost structure. This proble...