Sciweavers

1855 search results - page 125 / 371
» System Consequence
Sort
View
TARK
2009
Springer
15 years 10 months ago
Logical omniscience as a computational complexity problem
The logical omniscience feature assumes that an epistemic agent knows all logical consequences of her assumptions. This paper offers a general theoretical framework that views log...
Sergei N. Artëmov, Roman Kuznets
118
Voted
CDC
2008
IEEE
155views Control Systems» more  CDC 2008»
15 years 10 months ago
Controlling the longitudinal dynamics of a vehicle using sensor based haptic feedback
Abstract— This paper considers a sensor based haptic feedback law for control of the longitudinal dynamics of a vehicle. The environment impedance is implemented in parallel as f...
Robert E. Mahony, Muhammad Atif, Jochen Trumpf
ISVLSI
2008
IEEE
152views VLSI» more  ISVLSI 2008»
15 years 10 months ago
Improving the Test of NoC-Based SoCs with Help of Compression Schemes
Re-using the network in a NoC-based system as a test access mechanism is an attractive solution as pointed out by several authors. As a consequence, testing of NoC-based SoCs is b...
Julien Dalmasso, Érika F. Cota, Marie-Lise ...
131
Voted
P2P
2008
IEEE
15 years 10 months ago
Flexible Routing in Grouped DHTs
In most DHTs proposed so far, all nodes are assumed to be homogeneous, and all messages are routed using a common algorithm. In practice, however, nodes in large-scale systems mig...
Yiming Zhang, Dongsheng Li, Lei Chen 0002, Xicheng...
105
Voted
ICC
2007
IEEE
133views Communications» more  ICC 2007»
15 years 10 months ago
On Generating Soft Outputs for Lattice-Reduction-Aided MIMO Detection
— Lattice Reduction (LR) aided MIMO detection has been shown to provide near-optimal hard outputs. However soft outputs are required in practical systems to fully exploit gains f...
Vishakan Ponnampalam, Darren McNamara, Andy Lillie...