Sciweavers

6894 search results - page 129 / 1379
» Generation Problems
Sort
View
FOCS
2000
IEEE
15 years 10 months ago
Stable Distributions, Pseudorandom Generators, Embeddings and Data Stream Computation
In this article, we show several results obtained by combining the use of stable distributions with pseudorandom generators for bounded space. In particular: —We show that, for a...
Piotr Indyk
ISCIS
2009
Springer
16 years 29 days ago
Using a SAT solver to generate checking sequences
—Methods for software testing based on Finite State Machines (FSMs) have been researched since the early 60’s. Many of these methods are about generating a checking sequence fr...
Guy-Vincent Jourdan, Hasan Ural, Hüsnü Y...
ICRA
2003
IEEE
137views Robotics» more  ICRA 2003»
15 years 11 months ago
Biped walking pattern generation by using preview control of zero-moment point
We introduce a new method of a biped walking pattern generation by using a preview control of the zeromoment point (ZMP). First, the dynamics of a biped robot is modeled as a runn...
Shuuji Kajita, Fumio Kanehiro, Kenji Kaneko, Kiyos...
EWNLG
1993
15 years 10 months ago
Generating Grammatical and Lexical Anaphora in Assembly Instructional Texts
In this paper, we discuss the problem of generating natural anaphora in assembly instructional texts. We rst present a detailed account of grammatical and lexical anaphora and we e...
Leila Kosseim, Agnès Tutin, Richard I. Kitt...
ICCAD
2001
IEEE
101views Hardware» more  ICCAD 2001»
16 years 3 months ago
Instruction Generation for Hybrid Reconfigurable Systems
In this work, we present an algorithm for simultaneous template generation and matching. The algorithm profiles the graph and iteratively contracts edges to create the templates. ...
Ryan Kastner, Seda Ogrenci Memik, Elaheh Bozorgzad...