10159 search results - page 573 / 2032 » System Design Validation Using Formal Models |
185
Voted
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
This paper describes a hidden Markov model (HMM) based approach to perform search interface segmentation. Automatic processing of an interface is a must to access the invisible co...
161
click to vote
AUTOMATICA
2007
15 years 6 months ago
2007
This paper deals with global output regulation with nonlinear exosystems for a class of uncertain nonlinear output feedback systems. The circle criterion is exploited for the inte...
207
click to vote
CMSB
2010
Springer
15 years 1 months ago
2010
Springer
Boolean modeling frameworks have long since proved their worth for capturing and analyzing essential characteristics of complex systems. Hybrid approaches aim at exploiting the ad...
177
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
In this paper, we describe our work in progress on the reasoning module of ec(h)o, an augmented audio-reality interface for museum visitors utilizing spatialized soundscapes and a...
165
click to vote
TWC
2008
15 years 6 months ago
2008
The study of the class of new spatial multiplexing architectures (SMAs) is continued. As introduced in Part I of this paper, the SMAs consist of joint design of rate and power all...