Sciweavers

2302 search results - page 241 / 461
» Testing as Abstraction
Sort
View
FMOODS
2006
15 years 8 months ago
Bounded Analysis and Decomposition for Behavioural Descriptions of Components
Abstract. Explicit behavioural interfaces are now accepted as a mandatory feature of components to address architectural analysis. Behavioural interface description languages shoul...
Pascal Poizat, Jean-Claude Royer, Gwen Salaün
AOIS
2003
15 years 8 months ago
Agent-Based Support for Mobile Users Using AgentSpeak(L)
Abstract. This paper describes AbIMA, an agent-based intelligent mobile assistant for supporting users prior to and during the execution of their tasks. The agent is based on the w...
Talal Rahwan, Tarek Rahwan, Iyad Rahwan, Ronald As...
ICONIP
2004
15 years 8 months ago
Content-Based Video Classification Using Support Vector Machines
Abstract. In this paper, we investigate the problem of video classification into predefined genre. The approach adopted is based on spatial and temporal descriptors derived from sh...
Vakkalanka Suresh, C. Krishna Mohan, R. Kumara Swa...
DICTA
2003
15 years 8 months ago
Diamond, Hexagon, and General Polygonal Shaped Window Smoothing
Abstract. This paper presents fast recursive or moving windows algorithms for calculating local means in a diamond, hexagon and general polygonal shaped windows of an image. The al...
Changming Sun
IWUC
2004
15 years 8 months ago
Ubiquitous Application Development using a Mobile Agent-based System
Abstract. This study proposes a methodology that allows the flexible and maintainable development of application based on mobile agent to a ubiquitous environment. Ubiquitous envir...
Kazutaka Matsuzaki, Nobukazu Yoshioka, Shinichi Ho...