7918 search results - page 89 / 1584 » Model Composition Directives |
117
click to vote
FM
2006
Springer
15 years 4 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...
130
Voted
ECAI
2010
Springer
15 years 1 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
15 years 6 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 ...
100
Voted
ER
2004
Springer
15 years 6 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...
95
Voted
SPATIALCOGNITION
2004
Springer
15 years 6 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...