4987 search results - page 37 / 998 » Support Ordered Resolution |
SAT
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...
GLOBECOM
2010
IEEE
14 years 7 months ago
2010
IEEE
Multi-gigabit per second wireless network devices are emerging for personal area networks (PAN) in the 60 GHz band. Such devices are typically power hungry, largely due to the requ...
CHI
1996
ACM
15 years 1 months ago
1996
ACM
A new input unit for mobile devices is discussed. High speed text input through touch typing and mouse data input is possible through an SHK: Single Hand Key card, "castanets...
INFOCOM
2000
IEEE
15 years 2 months ago
2000
IEEE
Abstract—We introduce and analyze CARMA-MC (for Collision Avoidance and Resolution Multiple Access MultiChannel), a new stable channel access protocol for multihop wireless netwo...
101
click to vote
NGC
1998
Springer
14 years 9 months ago
1998
Springer
Reducing redundancy in search has been a major concern for automated deduction. Subgoal-reduction strategies, such as those based on model elimination and implemented in Prolog te...