727 search results - page 8 / 146 » SIMPL: A System for Integrating Optimization Techniques |
124
click to vote
AAECC
2007
Springer
14 years 12 months ago
2007
Springer
Abstract We describe a method to approximate a segment of the intersection curve of two implicitly defined surfaces by a rational parametric curve. Starting from an initial soluti...
204
click to vote
POPL
2004
ACM
16 years 1 days ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
CORR
2002
Springer
14 years 11 months ago
2002
Springer
We present a generalization of conventional artificial neural networks that allows for a functional equivalence to multi-expert systems. The new model provides an architectural fr...
ICRA
2005
IEEE
15 years 5 months ago
2005
IEEE
— This paper investigates how to generate cyclic gaits for multi-bodied isolated mechanical systems whose configuration space is represented by a trivial fiber bundle. We descr...
ER
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present an approach to support incremental navigation of structured information, where the structure is introduced by the data model and schema (if present) of a data ...