6020 search results - page 271 / 1204 » A New Approach to Model Counting |
150
click to vote
ERCIMDL
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Digital Library support for textual and certain types of nontextual documents has significantly advanced over the last years. While Digital Library support implies many a...
182
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: It has now become clear that gene-gene interactions and gene-environment interactions are ubiquitous and fundamental mechanisms for the development of complex diseases...
175
click to vote
TVLSI
2008
15 years 6 months ago
2008
Abstract--Technology scaling in the nanometer era has increased the transistor's susceptibility to process variations. The effects of such variations are having a huge impact ...
175
click to vote
JSS
2000
15 years 6 months ago
2000
Rapid advances in mobile communication technology have spawned many new mobile applications. A key element in many of these systems is the need to distribute real-time information...
185
click to vote
TKDE
2011
15 years 1 months ago
2011
—It is essential to process real-time data service requests such as stock quotes and trade transactions in a timely manner using fresh data, which represent the current real worl...