Sciweavers

1213 search results - page 152 / 243
» Traceability for System Families
Sort
View
ICPR
2010
IEEE
14 years 4 months ago
Estimating Nonrigid Shape Deformation Using Moments
Image moments have been widely used for designing robust shape descriptors that are invariant to rigid transformations. In this work, we address the problem of estimating non-rigid...
Wei Liu, Eraldo Ribeiro
CORR
2010
Springer
157views Education» more  CORR 2010»
13 years 10 months ago
Context Ontology Implementation for Smart Home
Context awareness is one of the important fields in ubiquitous computing. Smart Home, a specific instance of ubiquitous computing, provides every family with opportunities to enjo...
Tam Van Nguyen, Wontaek Lim, Huy Anh Nguyen, Deokj...
ENTCS
2006
111views more  ENTCS 2006»
13 years 10 months ago
A Verified Compiler for Synchronous Programs with Local Declarations
In addition to efficient code generation, causality cycles and schizophrenic statements are major problems for the compilation of synchronous programs. Although these problems are ...
Klaus Schneider, Jens Brandt, Tobias Schüle
JUCS
2008
182views more  JUCS 2008»
13 years 10 months ago
Modularizing Theorems for Software Product Lines: The Jbook Case Study
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...
Don S. Batory, Egon Börger
EAAI
2007
90views more  EAAI 2007»
13 years 10 months ago
AI techniques in modelling, assignment, problem solving and optimization
This paper recapitulates the results of a long research on a family of artificial intelligence (AI) methods—relying on, e.g., artificial neural networks and search techniques...
Zsolt János Viharos, Zsolt Kemény