2887 search results - page 97 / 578 » Name Generation and Linearity |
183
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
We present a combination method for generating interpolants for a class of first-order theories. Using interpolant-generation procedures for individual theories as black-boxes, our...
128
click to vote
CDC
2008
IEEE
16 years 18 days ago
2008
IEEE
— This paper studies the dissipativity properties of full order dynamic models of synchronous generators. It is shown that, under widely accepted assumptions, these models satisf...
155
click to vote
IROS
2006
IEEE
16 years 4 days ago
2006
IEEE
— This paper proposes a Hidden Markov Model (HMM) based approach to generate human-like movements for humanoid robots. Given human motion capture data for a class of movements, p...
139
click to vote
ASPDAC
2006
ACM
16 years 3 days ago
2006
ACM
— This paper presents an architecture and a synthesis method for programmable numerical function generators (NFGs) for trigonometric, logarithmic, square root, and reciprocal fun...
159
click to vote
SG
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present a method to generate glyphs which convey complex information in graphical form. A glyph has a linear geometry which is specified using geometric operations, e...