3818 search results - page 488 / 764 » Learning from Order Examples |
170
click to vote
VC
2008
15 years 4 months ago
2008
: Assembly/disassembly (A/D) simulations using haptic devices are facing difficulties while simulating insertion/extraction such as cylinders from holes. In order to address this c...
116
click to vote
AUTOMATICA
2004
15 years 4 months ago
2004
We study linear anti-windup augmentation for linear control systems with saturated linear plants in the special case when the anti-windup compensator can only modify the input and...
128
click to vote
TROB
2008
15 years 4 months ago
2008
Abstract--This paper presents a relational positioning methodology that allows to restrict totally or partially the movements of an object by specifying its allowed positions in te...
165
click to vote
ITIIS
2010
15 years 3 months ago
2010
As web-based online communities are rapidly growing, the agents in the communities need to know their measurable belief of trust for safe and successful interactions. In this pape...
150
click to vote
ENTCS
2010
15 years 2 months ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...