1650 search results - page 148 / 330 » The HOM problem is decidable |
119
click to vote
STOC
1998
ACM
15 years 8 months ago
1998
ACM
We introduce and study a modi ed notion of planarity, in which two regions of a map are considered adjacent when they share any point of their boundaries not an edge, as standard...
146
click to vote
ICCAD
1997
IEEE
15 years 8 months ago
1997
IEEE
We present a new approach to the placement problem. The proposed approach consists of analyzing the input circuit and deciding on a two-dimensional global grid for that particular...
156
click to vote
CONCUR
2009
Springer
15 years 8 months ago
2009
Springer
We consider the model of Time Petri Nets where time is associated with transitions. Two semantics for time elapsing can be considered: the strong one, for which all transitions are...
146
click to vote
GLOBECOM
2007
IEEE
15 years 8 months ago
2007
IEEE
We design opportunistic spectrum access strategies for improving spectrum efficiency. In each slot, a secondary user chooses a subset of channels to sense and decides whether to ac...
144
click to vote
ICDT
2007
ACM
15 years 8 months ago
2007
ACM
Abstract. We review key constraints in the context of XML as introduced by Buneman et al. We show that one of the proposed inference rules is not sound in general, and the axiomati...