Sciweavers

1099 search results - page 87 / 220
» Factored sequence kernels
Sort
View
CSCWD
2005
Springer
14 years 12 months ago
The structure representation for the concurrent analysis of product assembly and disassembly
This paper presents a simple and novel structure representation supporting the assembly and disassembly planning of electromechanical products. The proposed Relationship Matrix de...
Jyh-Cheng Yu, Yi-Ming Li
FM
2009
Springer
146views Formal Methods» more  FM 2009»
14 years 7 months ago
Verifying Real-Time Systems against Scenario-Based Requirements
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, S...
ICIP
2008
IEEE
15 years 11 months ago
The Marr wavelet pyramid
We introduce a new semi-orthogonal complex wavelet basis of L2(R2 ). The basis functions are associated to the complex gradient-Laplace operator, which plays a central role in ima...
Dimitri Van De Ville, Michael Unser
BMCBI
2005
117views more  BMCBI 2005»
14 years 9 months ago
An SVM-based system for predicting protein subnuclear localizations
Background: The large gap between the number of protein sequences in databases and the number of functionally characterized proteins calls for the development of a fast computatio...
Zhengdeng Lei, Yang Dai
EDCC
1999
Springer
15 years 2 months ago
Considering Workload Input Variations in Error Coverage Estimation
The effects of variations in the workload input when estimating error detection coverage using fault injection are investigated. Results from scanchain implemented fault injection ...
Peter Folkesson, Johan Karlsson