Sciweavers

4287 search results - page 388 / 858
» Minimal Mental Models
Sort
View
TARK
2007
Springer
16 years 1 months ago
Explaining quantity implicatures
We give derivations of two formal models of Gricean Quantity1 implicature and strong exhaustivity (Van Rooij and Schulz, 2004; Schulz and Van Rooij, 2006), in bidirectional optima...
Tikitu de Jager, Robert van Rooij
ISVLSI
2006
IEEE
150views VLSI» more  ISVLSI 2006»
16 years 1 months ago
Design and Analysis of a Low Power VLIW DSP Core
Power consumption has been the primary issue in processor design, with various power reduction strategies being adopted from system-level to circuitlevel. In order to develop a po...
Chan-Hao Chang, Diana Marculescu
DATE
2005
IEEE
278views Hardware» more  DATE 2005»
16 years 20 days ago
Virtual Hardware Prototyping through Timed Hardware-Software Co-Simulation
Designers of factory automation applications increasingly demand for tools for rapid prototyping of hardware extensions to existing systems and verification of resulting behavior...
Franco Fummi, Mirko Loghi, Stefano Martini, Marco ...
ICRA
2005
IEEE
151views Robotics» more  ICRA 2005»
16 years 19 days ago
Multi-Step Look-Ahead Trajectory Planning in SLAM: Possibility and Necessity
Abstract— In this paper, the possibility and necessity of multistep trajectory planning in Extended Kalman Filter (EKF) based SLAM is investigated. The objective of the trajector...
Shoudong Huang, Ngai Ming Kwok, Gamini Dissanayake...
IPPS
2005
IEEE
16 years 19 days ago
A Distributed Procedure for Bandwidth-Centric Scheduling of Independent-Task Applications
The problem of scheduling independent tasks on heterogeneous trees is considered. The nodes of the tree may have different processing times, and links different communication time...
Cyril Banino