1615 search results - page 182 / 323 » Distributed Forward Checking |
108
click to vote
ENTCS
2008
15 years 2 months ago
2008
Most well-known algorithms for equational solving are based on quantifier elimination. This technique iteratively eliminates the innermost block of existential/universal quantifie...
135
Voted
ECEASST
2008
15 years 2 months ago
2008
In software engineering, reliability and development time are two of the most important aspects, therefore, modeling environments, which aide both, are widely used during software ...
117
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
Skyline queries are important due to their usefulness in many application domains. However, by increasing the number of attributes, the probability that a tuple dominates another ...
111
Voted
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
Recent and next-generation wireless broadcasting standards, such as DVB-T2 or DVB-NGH, are considering distributed multi-antenna transmission in order to increase bandwidth effic...
148
Voted
PERCOM
2007
ACM
16 years 2 months ago
2007
ACM
Intermittently connected mobile networks are wireless networks where most of the time there does not exist a complete path from the source to the destination. There are many real ...