25175 search results - page 139 / 5035 » MPEG-4 systems and applications |
160
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper deals with a control approach dedicated to stable limit cycle generation for underactuated mechanical systems. The proposed approach is based on partial nonlinear fe...
159
click to vote
FSTTCS
2007
Springer
16 years 22 days ago
2007
Springer
We introduce PEP, the Post Embedding Problem, a variant of PCP where one compares strings with the subword relation, and PEPreg , a further variant where solutions are constrained ...
160
click to vote
DLOG
2001
15 years 8 months ago
2001
RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized ...
176
click to vote
ENTCS
2010
15 years 4 months ago
2010
We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way....
169
click to vote
IEEEAMS
2003
IEEE
15 years 12 months ago
2003
IEEE
Service morphing is a set of techniques used to continuously meet an application’s Quality of Service (QoS) needs, in the presence of run-time variations in service locations, p...