2477 search results - page 220 / 496 » Approximate extended formulations |
184
Voted
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
Transfer function models for the descriptionof physical systems have recently been introduced to the field of multidimensional digital signal processing. They provide an alternati...
176
click to vote
HYBRID
1999
Springer
15 years 11 months ago
1999
Springer
In this work we tackle the following problem: given a timed automaton, and a target set F of configurations, restrict its transition relation in a systematic way so that from ever...
169
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
We describe a model-based object tracking system that updates the configuration parameters of an object model based upon information gathered from a sequence of monocular images. ...
162
click to vote
ISPD
1998
ACM
15 years 11 months ago
1998
ACM
In this paper, we formulate a new class of optimization problem, named the general CH-posynomial program, and reveal the general dominance property. We propose an efcient algorith...
175
click to vote
TABLEAUX
1998
Springer
15 years 11 months ago
1998
Springer
The methodology of fibring is a successful framework for combining logical systems based on combining their semantics. In this paper, we extend the fibring approach to calculi for ...