514 search results - page 38 / 103 » Multiplicative structures in additively large sets |
EMSOFT
2003
Springer
14 years 28 days ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
SSDBM
1998
IEEE
13 years 12 months ago
1998
IEEE
When scientific data sets can be interpreted visually they are typically managed as pictures and consequently stored as large collections of bitmaps. Valuable information containe...
BMCBI
2008
13 years 7 months ago
2008
Background: Structure-based computational methods are needed to help identify and characterize protein-protein complexes and their function. For individual proteins, the most succ...
ISMIR
2005
Springer
14 years 1 months ago
2005
Springer
The performance of autocorrelation-based metre induction was tested with two large collections of folk melodies, consisting of approximately 13,000 melodies in MIDI file format, f...
WICSA
2008
13 years 9 months ago
2008
Evolution is a permanent challenge in product line engineering. Reusable assets such as software components or documents evolve continuously due to new customer requirements or te...