500 search results - page 49 / 100 » Quantified Conditionals and Compositionality |
VTC
2006
IEEE
14 years 1 months ago
2006
IEEE
Using an OFDM based uplink for the future cellular network has been a controversial issue due to difficulties in time and frequency synchronization and high Peak-to-Average Power...
DATE
2000
IEEE
13 years 11 months ago
2000
IEEE
An objective of DSP testing should be to ensure that any errors due to missed faults are infrequent compared to a circuit’s intrinsic errors, such as overflow. A method is prop...
ICRA
2000
IEEE
13 years 11 months ago
2000
IEEE
The paper presents a novel control approach for the robot-assisted motion augmentation of disabled subjects during the standing-up manoeuvre. The main goal of the proposal is to i...
INFOCOM
1992
IEEE
13 years 11 months ago
1992
IEEE
Local area networks have long been established as the basis for distributed systems. Continuity of service and bounded and known message delivery latency are requirements of a num...
ESOP
2008
Springer
13 years 9 months ago
2008
Springer
This paper defines the cover of a formula with respect to a set of variables V in theory T to be the strongest quantifier-free formula that is implied by V : in theory T. Cover e...