Sciweavers

752 search results - page 69 / 151
» Finite-State Modeling, Analysis and Testing of System Vulner...
Sort
View
162
Voted
ACL
2003
15 years 4 months ago
Improved Source-Channel Models for Chinese Word Segmentation
This paper presents a Chinese word segmentation system that uses improved sourcechannel models of Chinese sentence generation. Chinese words are defined as one of the following fo...
Jianfeng Gao, Mu Li, Changning Huang
122
Voted
FMOODS
2006
15 years 4 months ago
Bounded Analysis and Decomposition for Behavioural Descriptions of Components
Abstract. Explicit behavioural interfaces are now accepted as a mandatory feature of components to address architectural analysis. Behavioural interface description languages shoul...
Pascal Poizat, Jean-Claude Royer, Gwen Salaün
150
Voted
ICWS
2010
IEEE
15 years 5 months ago
Variability Modeling and QoS Analysis of Web Services Orchestrations
The ever-growing choice in diverse services is making service orchestration variability an essential aspect of a composite web service. Influence of this variation on the Quality o...
Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Be...
144
Voted
DLOG
2003
15 years 4 months ago
Applying Description Logic to Product Behavioral Design within Advanced CAD Systems
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
François de Bertrand de Beuvron, Amadou Cou...
131
Voted
BIOINFORMATICS
2012
13 years 5 months ago
SSuMMo: rapid analysis, comparison and visualization of microbial communities
Motivation: Next-generation sequencing methods are generating increasingly massive datasets, yet still do not fully capture genetic diversity in the richest environments. To under...
Alex L. B. Leach, James P. J. Chong, Kelly R. Rede...