11160 search results - page 369 / 2232 » Incompleteness in a General Setting |
194
click to vote
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
197
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
Access to realistic, complex graph datasets is critical to research on social networking systems and applications. Simulations on graph data provide critical evaluation of new sys...
151
click to vote
ISBI
2009
IEEE
16 years 1 months ago
2009
IEEE
Estimation of internal mouse anatomy is required for quantitative bioluminescence or fluorescence tomography. However, only surface range data can be recovered from all-optical s...
181
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
Distributed opportunistic scheduling (DOS) is studied for wireless ad-hoc networks in which many links contend for the channel using random access before data transmissions. Simpl...
189
click to vote
BICOB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. With the availability of hundreds and soon-to-be thousands of complete genomes, the construction of genome-scale metabolic models for these organisms has attracted much a...