Sciweavers

2409 search results - page 306 / 482
» On Extended Regular Expressions
Sort
View
ASWEC
2007
IEEE
16 years 29 days ago
Formal Validation of Hierarchical State Machines against Expectations
This paper explains some analyses that can be performed on a hierarchical finite state machine to validate that it performs as intended. Such a hierarchical state machine has tra...
Ian Toyn, Andy Galloway
FUZZIEEE
2007
IEEE
16 years 29 days ago
Towards Fuzzy Compositional Modelling
Compositional Modelling (CM) has been applied to synthesize automatically plausible scenarios in many problem domains with promising results. However, it is assumed that the generi...
Xin Fu, Qiang Shen, Ruiqing Zhao
ICC
2007
IEEE
16 years 28 days ago
UWB Geo-Regioning Using Multivariate Channel Statistics
Abstract— Ultra-Wideband (UWB) Geo-Regioning is an approach to localize UWB transmitters by means of their channel impulse responses. A received channel impulse response is assig...
Christoph Steiner, Armin Wittneben
ICC
2007
IEEE
117views Communications» more  ICC 2007»
16 years 28 days ago
Radio Channel Modelling Using Stochastic Propagation Graphs
Abstract— In this contribution the radio channel model proposed in [1] is extended to include multiple transmitters and receivers. The propagation environment is modelled using r...
Troels Pedersen, Bernard H. Fleury
ICRA
2007
IEEE
119views Robotics» more  ICRA 2007»
16 years 28 days ago
Progressive Clamping
—In this paper we propose the progressive clamping method to better model the kinematic anisotropy of joint limits for virtual mannequins or robots. Like recent approaches our me...
Daniel Raunhardt, Ronan Boulic