10916 search results - page 129 / 2184 » On Constructive Connectives and Systems |
165
click to vote
ASSETS
2010
ACM
15 years 6 months ago
2010
ACM
We conducted interviews with blind and deaf-blind people to understand how they use the public transit system. In this paper, we discuss key challenges our participants faced and ...
171
click to vote
VTC
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— In this paper, we consider the co-channel interference mitigation capability of fixed relay aided wireless systems, where the relays are linked to the base station usi...
183
click to vote
LCN
2007
IEEE
16 years 23 days ago
2007
IEEE
1 Vehicular Ad hoc NETworks (VANETs) is a subclass of Mobile Ad hoc NETworks (MANETs). However, automotive ad hoc networks will behave in fundamentally different ways than the pred...
166
click to vote
AAAI
1993
15 years 7 months ago
1993
Roughly speaking, adequatness is the property of a theorem proving method to solve simpler problems faster than more difficult ones. Automated inferencing methods are often not ad...
176
click to vote
NOSSDAV
2004
Springer
15 years 12 months ago
2004
Springer
—In mobile devices, the wireless network interface card (WNIC) consumes a significant portion of overall system energy. One way to reduce energy consumed by a WNIC is to transit...