Sciweavers

1213 search results - page 152 / 243
» Traceability for System Families
Sort
View
ICPR
2010
IEEE
15 years 6 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
93
Voted
CORR
2010
Springer
157views Education» more  CORR 2010»
15 years 24 days 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...
83
Voted
ENTCS
2006
111views more  ENTCS 2006»
15 years 22 days 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
97
Voted
JUCS
2008
182views more  JUCS 2008»
15 years 20 days 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
108
Voted
EAAI
2007
90views more  EAAI 2007»
15 years 20 days 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