Sciweavers

513 search results - page 59 / 103
» Generic Methods for Optimization-Based Modeling
Sort
View
FTRTFT
1998
Springer
14 years 22 days ago
Predictability in Critical Systems
Predictability is crucial in critical applications and systems. Therefore, we examine sources of uncertainty for each of the four phases that span a project lifecycle, from initial...
Gérard Le Lann
TACS
1997
Springer
14 years 1 days ago
Type System for Specializing Polymorphism
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
Atsushi Ohori
JISBD
2003
13 years 10 months ago
Advanced Separation of Concerns for Requirements Engineering
Separation of concerns is a fundamental software engineering principle that proposes the encapsulation of each matter of interest in a separate module. Software engineering develop...
Isabel Sofia Brito, Ana M. D. Moreira
ECCV
2008
Springer
14 years 10 months ago
Simultaneous Visual Recognition of Manipulation Actions and Manipulated Objects
Abstract. The visual analysis of human manipulation actions is of interest for e.g. human-robot interaction applications where a robot learns how to perform a task by watching a hu...
Danica Kragic, David Martínez Mercado, Hedv...
CVPR
2010
IEEE
13 years 8 months ago
Free-form mesh tracking: A patch-based approach
In this paper, we consider the problem of tracking nonrigid surfaces and propose a generic data-driven mesh deformation framework. In contrast to methods using strong prior models...
Cedric Cagniart, Edmond Boyer, Slobodan Ilic