67 search results - page 4 / 14 » MIP: Theory and Practice - Closing the Gap |
159
click to vote
CISS
2008
IEEE
16 years 16 days ago
2008
IEEE
Abstract— The growth of video content and diversification of content-sharing methods in the Internet lead to an exciting range of new problems in networking, communications, and...
164
click to vote
ACSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
There is a large gap between the theory and practice for random number generation. For example, on most operating systems, using /dev/random to generate a 256-bit AES key is highl...
154
click to vote
JELIA
2004
Springer
15 years 11 months ago
2004
Springer
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...
167
click to vote
FOMI
2008
15 years 7 months ago
2008
I develop a few suggestions how formal ontology can meet industry and practice. This is not just a matter of useful ontology-based applications. That is a necessary but also rather...
181
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: The degree to which conventional DNA sequencing techniques will be successful for highly repetitive genomes is unclear. Investigators are therefore considering various...