Sciweavers

1948 search results - page 241 / 390
» Formalizing Mirror Theory
Sort
View
TARK
2007
Springer
16 years 22 days 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
ICAS
2006
IEEE
136views Robotics» more  ICAS 2006»
16 years 20 days ago
Addressing the Signal Grounding Problem for Autonomic Systems
This paper is concerned with the problem of intrinsically assigning meaning to the signals responsible for autonomic responses in a system. Without an associated cognitive system,...
Martin Randles, A. Taleb-Bendiab, Philip Miseldine
ICDCSW
2006
IEEE
16 years 20 days ago
Multi-radio channel allocation in competitive wireless networks
Channel allocation has been extensively studied in the framework of cellular networks, but the emergence of new system concepts, such as cognitive radio systems, bring this topic ...
Márk Félegyházi, Mario Cagalj...
IROS
2006
IEEE
128views Robotics» more  IROS 2006»
16 years 20 days ago
Haptic Rendering of Biological Elastic Properties based on Biomechanical Characterization
— This paper deals with the design of a micro-force sensing device for biomechanical characterization of biological samples. This device combines (SPM) techniques and advanced ro...
Mehdi Boukallel, Maxime Girot, Stephane Rég...
LICS
2006
IEEE
16 years 19 days ago
PSPACE Bounds for Rank-1 Modal Logics
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
Lutz Schröder, Dirk Pattinson