Sciweavers

2780 search results - page 109 / 556
» Generalizing by Removing Detail
Sort
View
ICRA
2010
IEEE
133views Robotics» more  ICRA 2010»
15 years 2 months ago
Spring Loaded Inverted Pendulum embedding: Extensions toward the control of compliant running robots
This paper explores systematic control strategies for the stabilization of running on compliant robots with nontrivial torso pitch dynamics. The Spring Loaded Inverted Pendulum (SL...
Ioannis Poulakakis
EUSFLAT
2009
144views Fuzzy Logic» more  EUSFLAT 2009»
15 years 2 months ago
Number-free Mathematics Based on T-norm Fuzzy Logic
Abstract--The paper presents a form of rendering classical mathematical notions by formal theories over suitable t-norm fuzzy logics in such a way that references to real numbers a...
Libor Behounek
CAP
2010
14 years 11 months ago
Parallel computation of the minimal elements of a poset
Computing the minimal elements of a partially ordered finite set (poset) is a fundamental problem in combinatorics with numerous applications such as polynomial expression optimiz...
Charles E. Leiserson, Marc Moreno Maza, Liyun Li, ...
SAC
2010
ACM
14 years 11 months ago
Similar triangles and orientation in plane elementary geometry for Coq-based proofs
In plane elementary geometry, the concept of similar triangles not only forms an important foundation for trigonometry, but it also can be used to solve many geometric problems. T...
Tuan Minh Pham
TSP
2010
14 years 11 months ago
Selection policy-induced reduction mappings for Boolean networks
Developing computational models paves the way to understanding, predicting, and influencing the long-term behavior of genomic regulatory systems. However, several major challenges ...
Ivan Ivanov, Plamen Simeonov, Noushin Ghaffari, Xi...