Sciweavers

14577 search results - page 2816 / 2916
» Statistical Language Modelling
Sort
View
CSIE
2009
IEEE
15 years 3 months ago
On Test Script Technique Oriented Automation of Embedded Software Simulation Testing
Succinct test script with high efficiency is one of key point for automation of embedded software testing. In this paper, we integrated object technique with automated simulation ...
Yongfeng Yin, Bin Liu, Bentao Zheng
CONCUR
2010
Springer
15 years 2 months ago
On the Compositionality of Round Abstraction
ompositionality of Round Abstraction Abstract Dan R. Ghica and Mohamed N. Menaa University of Birmingham, U.K. We revisit a technique called round abstraction as a solution to the ...
Dan R. Ghica, Mohamed N. Menaa
CORR
2010
Springer
111views Education» more  CORR 2010»
15 years 2 months ago
Recognition and translation Arabic-French of Named Entities: case of the Sport places
The recognition of Arabic Named Entities (NE) is a problem in different domains of Natural Language Processing (NLP) like automatic translation. Indeed, NE translation allows the ...
Abdelmajid Ben Hamadou, Odile Piton, Héla F...
CORR
2010
Springer
168views Education» more  CORR 2010»
15 years 2 months ago
A Bayesian Review of the Poisson-Dirichlet Process
The two parameter Poisson-Dirichlet process is also known as the PitmanYor Process and related to the Chinese Restaurant Process, is a generalisation of the Dirichlet Process, and...
Wray L. Buntine, Marcus Hutter
CORR
2010
Springer
157views Education» more  CORR 2010»
15 years 2 months ago
Deriving Specifications of Dependable Systems: toward a Method
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
Manuel Mazzara
« Prev « First page 2816 / 2916 Last » Next »