Sciweavers

266 search results - page 15 / 54
» On asymmetric progress conditions
Sort
View
EUSFLAT
2007
131views Fuzzy Logic» more  EUSFLAT 2007»
14 years 11 months ago
Preservation of Graded Properties of Fuzzy Relations by Aggregation Functions
We study graded properties (α–properties) of fuzzy relations, which are parameterized versions of fuzzy relation properties defined by L.A. Zadeh. Namely, we take into account...
Urszula Dudziak
ICIP
2004
IEEE
15 years 11 months ago
Wyner-ziv video coding with hash-based motion compensation at the receiver
In current interframe video compression systems, the encoder performs predictive coding to exploit the similarities of successive frames. The Wyner-Ziv Theorem on source coding wi...
Anne Aaron, Shantanu Rane, Bernd Girod
IROS
2007
IEEE
150views Robotics» more  IROS 2007»
15 years 4 months ago
Monopedal running control: SLIP embedding and virtual constraint controllers
— Two feedback controllers that induce stable running gaits on a three-degree-of-freedom asymmetric hopper, termed the Asymmetric Spring Loaded Inverted Pendulum (ASLIP), see Fig...
Ioannis Poulakakis, J. W. Grizzle
ISR
2010
14 years 4 months ago
Use of Pricing Schemes for Differentiating Information Goods
Information goods vendors offer different pricing schemes such as per user pricing and site licensing. Why do competing sellers adopt different pricing schemes for the same inform...
Vidyanand Choudhary
FASE
2011
Springer
14 years 1 months ago
Theoretical Aspects of Compositional Symbolic Execution
Given a program and an assertion in that program, determining if the assertion can fail is one of the key applications of program analysis. Symbolic execution is a well-known techn...
Dries Vanoverberghe, Frank Piessens