Sciweavers

513 search results - page 59 / 103
» Generic Methods for Optimization-Based Modeling
Sort
View
FTRTFT
1998
Springer
15 years 6 months 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
15 years 5 months 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
15 years 3 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
16 years 3 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
15 years 2 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