2150 search results - page 217 / 430 » On a restricted cross-intersection problem |
149
Voted
AAAI
1990
15 years 5 months ago
1990
This paper presents a new approach for exploiting Truth Maintenance Systems(TMSs) which makes them simpler to use without necessarily incurring a substantial performance penalty. ...
134
click to vote
COMGEO
2008
ACM
15 years 4 months ago
2008
ACM
We study the following problem: Given a set of red points and a set of blue points on the plane, find two unit disks CR and CB with disjoint interiors such that the number of red ...
140
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Deciding whether a graph can be embedded in a grid using only unitlength edges is NP-complete, even when restricted to binary trees. However, it is not difficult to devise a numbe...
139
click to vote
AHSWN
2006
15 years 4 months ago
2006
TCP throughput instability is a well-known phenomenon in IEEE 802.11 multi-hop ad-hoc networks. However, we find that this problem is not restricted to TCP traffic only, but also ...
108
click to vote
ENTCS
2006
15 years 4 months ago
2006
The standard translation of a Bounded Model Checking (BMC) instance into a satisfiability problem, (a.k.a SAT), might produce misleading results in the case when the model under v...