Sciweavers

674 search results - page 35 / 135
» Arguments and Results
Sort
View
COLING
2002
13 years 7 months ago
A Pattern-based Analyzer for French in the Context of Spoken Language Translation: First Prototype and Evaluation
In this paper, we describe a first prototype of a pattern-based analyzer developed in the context of a speech-to-speech translation project using a pivot-based approach (the pivot...
Hervé Blanchon
IROS
2009
IEEE
146views Robotics» more  IROS 2009»
14 years 2 months ago
A discrete-time control strategy for dynamic walking of a planar under-actuated biped robot
Abstract— This paper deals with a discret-time control approach, proposed for the control of a five-link, four-actuator planar biped walker. The approach is based on the choice ...
Ahmed Chemori
IGPL
2008
67views more  IGPL 2008»
13 years 7 months ago
Complete Axiomatisations of Properties of Finite Sets
We study a logic whose formulae are interpreted as properties of a finite set over some universe. The language is propositional, with two unary operators inclusion and extension, ...
Thomas Ågotnes, Michal Walicki
ALIFE
2007
13 years 7 months ago
The Localization Hypothesis and Machines
In a recent article in Artificial Life, Chu and Ho suggested that Rosen’s central result about the simulability of living systems might be flawed. This argument was later declare...
Dominique Chu, Weng Kin Ho
COMBINATORICS
1998
76views more  COMBINATORICS 1998»
13 years 7 months ago
An Exploration of the Permanent-Determinant Method
The permanent-determinant method and its generalization, the HafnianPfaffian method, are methods to enumerate perfect matchings of plane graphs that were discovered by P. W. Kaste...
Greg Kuperberg