Sciweavers

2470 search results - page 256 / 494
» Liveness-Preserving Simulation Relations
Sort
View
ILP
2007
Springer
16 years 7 days ago
Induction of Optimal Semantic Semi-distances for Clausal Knowledge Bases
Several activities related to semantically annotated resources can be enabled by a notion of similarity, spanning from clustering to retrieval, matchmaking and other forms of induc...
Claudia d'Amato, Nicola Fanizzi, Floriana Esposito
146
Voted
IROS
2006
IEEE
134views Robotics» more  IROS 2006»
16 years 4 days ago
Control of a Nonholonomic Mobile Robot Via Sensor-based Target Tracking and Pose Estimation
— The paper addresses the problem of controlling the posture of a nonholonomic mobile robot via sensor-based target tracking. The control technique here considered is adapted fro...
M. Maya-Mendez, Pascal Morin, Claude Samson
LCN
2006
IEEE
16 years 3 days ago
An Interior Path Vector Routing Protocol
Today’s intra-domain protocols are limited in their scalability. We examine these limitations and propose an alternative in the form of an IGP based on path vectors. Taking adva...
Conor Creagh, Cormac J. Sreenan
VTC
2006
IEEE
124views Communications» more  VTC 2006»
16 years 3 days ago
Accurate BER Analysis of QPSK Modulated Asynchronous DS-CDMA Systems Communicating over Rayleigh Channels
Abstract— The accurate average BER calculation of an asynchronous DS-CDMA system using random spreading sequences is studied in Rayleigh fading channels. An accurate closedform e...
Xiang Liu, Lajos Hanzo
142
Voted
ICRA
2005
IEEE
145views Robotics» more  ICRA 2005»
15 years 11 months ago
A Criterion for the PassivitY of Haptic Devices
— Rendering a stiff virtual wall remains a core challenge in the field of haptics. A passivity study of this problem is presented, which relates the maximum achievable wall stif...
Nicola Diolaiti, Günter Niemeyer, Federico Ba...