6020 search results - page 274 / 1204 » A New Approach to Model Counting |
153
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
In the last decade, there has been an explosion of online commercial activity enabled by the World Wide Web. An electronic marketplace (e-market) provides an online method to perf...
270
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
There is currently considerable enthusiasm around the MapReduce (MR) paradigm for large-scale data analysis [17]. Although the basic control flow of this framework has existed in ...
185
click to vote
MOBIHOC
2005
ACM
16 years 5 months ago
2005
ACM
Mobile ad hoc networks (MANETs) are vulnerable to routing attacks, especially attacks launched by non-cooperative (selfish or compromised) network members and appear to be protoco...
193
click to vote
EDBT
2009
ACM
16 years 1 months ago
2009
ACM
In recent years, large amount of data modeled by graphs, namely graph data, have been collected in various domains. Efficiently processing queries on graph databases has attracted...
167
click to vote
CSB
2005
IEEE
15 years 12 months ago
2005
IEEE
A genetic map is an ordering of genetic markers constructed from genetic linkage data for use in linkage studies and experimental design. While traditional methods have focused on...