Sciweavers

3032 search results - page 47 / 607
» Complexity of sequences and dynamical systems
Sort
View
QEST
2008
IEEE
14 years 3 months ago
Automatic Translation of UML Sequence Diagrams into PEPA Models
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
Mirco Tribastone, Stephen Gilmore
KBSE
1998
IEEE
14 years 29 days ago
Automated Software Test Data Generation for Complex Programs
We report on GADGET, a new software test generation system that uses combinatorial optimization to obtain condition/decision coverage of C/C++ programs. The GADGET system is fully...
Christoph C. Michael, Gary McGraw
ICASSP
2011
IEEE
13 years 13 days ago
Efficient NLMS and RLS algorithms for a class of nonlinear filters using periodic input sequences
The paper discusses computationally efficient NLMS and RLS algorithms for a broad class of nonlinear filters using periodic input sequences. The class comprises all nonlinear ...
Alberto Carini, V. John Mathews, Giovanni L. Sicur...
ISAMI
2010
13 years 6 months ago
Accurate Temporal Relationships in Sequences of User Behaviours in Intelligent Environments
Intelligent Environments are supposed to act proactively anticipating user's needs and preferences in order to provide effective support. Therefore, learning user's frequ...
Asier Aztiria, Juan Carlos Augusto, Rosa Basagoiti...
ICCV
2007
IEEE
14 years 10 months ago
Phase Based Modelling of Dynamic Textures
This paper presents a model of spatiotemporal variations in a dynamic texture (DT) sequence. Most recent work on DT modelling represents images in a DT sequence as the responses o...
Bernard Ghanem, Narendra Ahuja