Sciweavers

9316 search results - page 359 / 1864
» Analysis of traceback techniques
Sort
View
TSD
2005
Springer
16 years 8 days ago
Cluster Analysis of Railway Directory Inquire Dialogs
Cluster analysis of dialogs with transport directory service allows revealing the typical scenarios of dialogs, which is useful for designing automatic dialog systems. We show how ...
Mikhail Alexandrov, Emilio Sanchis Arnal, Paolo Ro...
ISOLA
2004
Springer
16 years 5 days ago
A Formal Analysis of Bluetooth Device Discovery
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman,...
ICCV
2003
IEEE
16 years 3 days ago
Tracking Articulated Hand Motion with Eigen Dynamics Analysis
This paper introduces the concept of eigen-dynamics and proposes an eigen dynamics analysis (EDA) method to learn the dynamics of natural hand motion from labelled sets of motion ...
Hanning Zhou, Thomas S. Huang
KBSE
2003
IEEE
16 years 2 days ago
A Model-Driven Approach to Non-Functional Analysis of Software Architectures
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...
James Skene, Wolfgang Emmerich
CDC
2009
IEEE
15 years 11 months ago
Schur-based decomposition for reachability analysis of linear time-invariant systems
— We present a method for complexity reduction in reachability analysis and controller synthesis via a Schur-based decomposition for LTI systems. The decomposition yields either ...
Shahab Kaynama, Meeko Oishi