Sciweavers

3593 search results - page 555 / 719
» A Generative Model Based Approach to Motion Segmentation
Sort
View
152
Voted
PRL
2008
198views more  PRL 2008»
15 years 3 months ago
Pose estimation and tracking using multivariate regression
This paper presents an extension of the relevance vector machine (RVM) algorithm to multivariate regression. This allows the application to the task of estimating the pose of an a...
Arasanathan Thayananthan, Ramanan Navaratnam, Bj&o...
SERP
2003
15 years 4 months ago
A Process for BDI Agent-Based Software Construction
Agent-based programming comes us as a next generation programming paradigm. However, we have not been ready yet to fully use it without having sound and concrete software engineer...
Chang-Hyun Jo, Jeffery M. Einhorn
115
Voted
FTDCS
1997
IEEE
15 years 7 months ago
Analysing the behaviour of distributed software architectures: a case study
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...
Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou
130
Voted
EUROCAST
2007
Springer
161views Hardware» more  EUROCAST 2007»
15 years 7 months ago
Using Verification Technology to Specify and Detect Malware
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
Andreas Holzer, Johannes Kinder, Helmut Veith
116
Voted
ECMDAFA
2006
Springer
137views Hardware» more  ECMDAFA 2006»
15 years 7 months ago
Harvesting Software Systems for MDA-Based Reengineering
Abstract. In this paper we report on a feasibility study in reengineering legacy systems towards a model-driven architecture (MDA). Steps in our approach consist of (1) parsing the...
Thijs Reus, Hans Geers, Arie van Deursen