5718 search results - page 316 / 1144 » Modeling Rule Precision |
183
click to vote
HYBRID
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
158
click to vote
CAIP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we introduce a prototype-based clustering algorithm dealing with graphs. We propose a hypergraph-based model for graph data sets by allowing clusters overl...
144
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— We present a novel way of modeling wheeled vehicles on outdoor terrains. Adapting concepts from dextrous manipulation, we precisely model the way that three dimensional wheels ...
183
click to vote
SSD
2007
Springer
16 years 24 days ago
2007
Springer
The notion of a map is a fundamental metaphor in spatial disciplines. However, there currently exist no adequate data models for maps that define a precise spatial data type for m...
149
click to vote
IJCNN
2006
IEEE
16 years 22 days ago
2006
IEEE
— We propose a modeling framework based on the event-driven paradigm for populations of neurons which interchange messages. Unlike other strategies our approach is focused on the...