Sciweavers

1855 search results - page 125 / 371
» System Consequence
Sort
View
TARK
2009
Springer
16 years 1 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
CDC
2008
IEEE
155views Control Systems» more  CDC 2008»
16 years 1 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»
16 years 1 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 ...
P2P
2008
IEEE
16 years 1 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...
ICC
2007
IEEE
133views Communications» more  ICC 2007»
16 years 1 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...