7918 search results - page 89 / 1584 » Model Composition Directives |
FM
2006
Springer
14 years 1 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
ECAI
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. There is currently a large interest in relational probabilistic models. While the concept of context-specific independence (CSI) has been well-studied for models such as ...
VTC
2006
IEEE
14 years 4 months ago
2006
IEEE
— Precise modelling of the Direction of Arrival (DoA) and Direction of Departure (DoD) of multipath components (MPCs) in a Multiple-Input Multiple-Output (MIMO) channel based on ...
ER
2004
Springer
14 years 3 months ago
2004
Springer
A progressive spatial query retrieves spatial data based on previous queries (e.g., to fetch data in a more restricted area with higher resolution). A direct query, on the other si...
SPATIALCOGNITION
2004
Springer
14 years 3 months ago
2004
Springer
Wayfinding, i.e. getting from some origin to a destination, is one of the prime everyday problems humans encounter. It has received a lot of attention in research and many (commerc...