Sciweavers

486 search results - page 78 / 98
» Knowledge Structuring and Evaluation Based on Grey Theory
Sort
View
DAC
2006
ACM
15 years 10 months ago
Design automation for DNA self-assembled nanostructures
DNA self-assembly is an emerging technology with potential as a future replacement of conventional lithographic fabrication. A key challenge is the specification of appropriate DN...
Constantin Pistol, Alvin R. Lebeck, Chris Dwyer
SIGSOFT
2007
ACM
15 years 10 months ago
A specification-based approach to testing software product lines
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, ...
ICB
2007
Springer
183views Biometrics» more  ICB 2007»
14 years 11 months ago
Factorial Hidden Markov Models for Gait Recognition
Gait recognition is an effective approach for human identification at a distance. During the last decade, the theory of hidden Markov models (HMMs) has been used successfully in th...
Changhong Chen, Jimin Liang, Haihong Hu, Licheng J...
IS
2008
14 years 9 months ago
Integration of complex archeology digital libraries: An ETANA-DL experience
In this paper, we formalize the digital library (DL) integration problem and propose an overall approach based on the 5S (streams, structures, spaces, scenarios, and societies) fr...
Rao Shen, Naga Srinivas Vemuri, Weiguo Fan, Edward...
ISPE
2003
14 years 11 months ago
Enterprise modelling and the UML: (sometimes) a conflict without a case
: Nowadays, the UML language is one of the most widely accepted software modelling language. Enterprise modelling is concerned with the externalisation of knowledge about the en...
G. Berio, M. Petit