Sciweavers

4636 search results - page 500 / 928
» Modelling and Validation with VipTool
Sort
View
ASE
2006
104views more  ASE 2006»
15 years 7 months ago
On the Systematic Analysis of Natural Language Requirements with C
This paper presents CIRCE, an environment for the analysis of natural language requirements. CIRCE is first presented in terms of its architecture, based on a transformational para...
Vincenzo Ambriola, Vincenzo Gervasi
AUTOMATICA
2006
94views more  AUTOMATICA 2006»
15 years 7 months ago
Subspace identification for FDI in systems with non-uniformly sampled multirate data
This paper proposes a novel subspace approach towards direct identification of a residual model for fault detection and isolation (FDI) in a system with non-uniformly sampled mult...
Weihua Li, Zhengang Han, Sirish L. Shah
CANDC
2006
ACM
15 years 7 months ago
Predicting O-glycosylation sites in mammalian proteins by using SVMs
O-glycosylation is one of the most important, frequent and complex post-translational modifications. This modification can activate and affect protein functions. Here, we present ...
Sujun Li, Boshu Liu, Rong Zeng, Yu-Dong Cai, Yixue...
JSS
2008
93views more  JSS 2008»
15 years 7 months ago
Search-based refactoring for software maintenance
The high cost of software maintenance could be reduced by automatically improving the design of object-oriented programs without altering their behaviour. We have constructed a so...
Mark Kent O'Keeffe, Mel Ó Cinnéide
MT
2006
116views more  MT 2006»
15 years 7 months ago
Dependency treelet translation: the convergence of statistical and example-based machine-translation?
We describe a novel approach to machine translation that combines the strengths of the two leading corpus-based approaches: Phrasal SMT and EBMT. We use a syntactically informed d...
Christopher Quirk, Arul Menezes