933 search results - page 51 / 187 » Extending Forward Checking |
126
click to vote
AMW
2009
15 years 3 months ago
2009
In data exchange, data are materialised from a source schema to a target schema, according to suitable source-to-target constraints. Constraints are also expressed on the target sc...
126
click to vote
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
124
click to vote
OOPSLA
2010
Springer
15 years 11 days ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
145
click to vote
TCOM
2010
15 years 25 days ago
2010
—In this paper, we present a model to analyze the performance of three transmission strategies with smart antennas, i.e. directional antennas with adjustable transmission power. ...
123
click to vote
GLOBECOM
2009
IEEE
15 years 7 days ago
2009
IEEE
In this paper, we establish a rate duality between the forward and reverse links of MIMO interference channel, where the reverse links are obtained by exchanging the roles of trans...