Sciweavers

10891 search results - page 126 / 2179
» Combining Model Reductions
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 7 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
ICRA
2010
IEEE
101views Robotics» more  ICRA 2010»
15 years 1 months ago
Searching for objects: Combining multiple cues to object locations using a maximum entropy model
— In this paper, we consider the problem of how background knowledge about usual object arrangements can be utilized by a mobile robot to more efficiently find an object in an ...
Dominik Joho, Wolfram Burgard
FLAIRS
2007
15 years 5 months ago
A Model for Qualitative Spatial Reasoning Combining Topology, Orientation and Distance
Much work has been done in the area of qualitative spatial reasoning over the past years, with application in various domains. However, existing models only capture particular asp...
David Brageul, Hans W. Guesgen
103
Voted
CDC
2008
IEEE
117views Control Systems» more  CDC 2008»
15 years 9 months ago
Stability of model predictive control based on reduced-order models
— In this paper, we present a systematic procedure for obtaining closed-loop stable output-feedback model predictive control based on reduced-order models. The design uses linear...
Svein Hovland, Christian Løvaas, Jan Tommy ...
CSCLP
2007
Springer
15 years 9 months ago
Combining Two Structured Domains for Modeling Various Graph Matching Problems
Abstract. Graph pattern matching is a central application in many fields. In various areas, the structure of the pattern can only be approximated and exact matching is then too ac...
Yves Deville, Grégoire Dooms, Stépha...