Sciweavers

1164 search results - page 39 / 233
» Constructive nonlinear dynamics in process systems engineeri...
Sort
View
ICCV
2007
IEEE
16 years 2 months ago
Real-time Body Tracking Using a Gaussian Process Latent Variable Model
In this paper, we present a tracking framework for capturing articulated human motions in real-time, without the need for attaching markers onto the subject's body. This is a...
Shaobo Hou, Aphrodite Galata, Fabrice Caillette, N...
96
Voted
SAC
2009
ACM
15 years 7 months ago
A collaborative tool for designing and enacting design processes
Today several approaches using Situational Method Engineering paradigm exist, each of them proposes methods and techniques for developing ad-hoc design processes. In this context ...
Massimo Cossentino, Luca Sabatucci, Valeria Seidit...
98
Voted
MODELS
2009
Springer
15 years 7 months ago
A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...
Naeem Esfahani, Sam Malek, João Pedro Sousa...
116
Voted
COMPSAC
2006
IEEE
15 years 4 months ago
Engineering Reconfigurable Product Families - Architecting the Variability Infrastructure of a Product Family On-Chip
The software product family paradigm is becoming increasingly relevant in embedded system development. Embedded system development with a software-intensive character is typically...
Michel Jaring
SIGADA
2005
Springer
15 years 6 months ago
The affordable application of formal methods to software engineering
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
James F. Davis