Sciweavers

4208 search results - page 578 / 842
» Better Selection of the Best
Sort
View
FORTE
2010
15 years 8 months ago
On Efficient Models for Model Checking Message-Passing Distributed Protocols
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
Péter Bokor, Marco Serafini, Neeraj Suri
LREC
2010
136views Education» more  LREC 2010»
15 years 8 months ago
Partial Parsing of Spontaneous Spoken French
This paper describes the process and the resources used to automatically annotate a French corpus of spontaneous speech transcriptions in super-chunks. Super-chunks are enhanced c...
Olivier Blanc, Matthieu Constant, Anne Dister, Pat...
LREC
2010
148views Education» more  LREC 2010»
15 years 8 months ago
POS Multi-tagging Based on Combined Models
In the POS tagging task, there are two kinds of statistical models: one is generative model, such as the HMM, the others are discriminative models, such as the Maximum Entropy Mod...
Yan Zhao, Gertjan van Noord
LREC
2010
192views Education» more  LREC 2010»
15 years 8 months ago
Testing Semantic Similarity Measures for Extracting Synonyms from a Corpus
The definition of lexical semantic similarity measures has been the subject of lots of works for many years. In this article, we focus more specifically on distributional semantic...
Olivier Ferret
ICWN
2008
15 years 8 months ago
Coverage Efficient Clustering Method Based on Time Delay for Wireless Sensor Networks
Energy efficient operations are essential to increase the lifetime of wireless sensor network. A clustering-based protocol is one approach that reduces energy by a data aggregation...
Ji Gong, Hyuntae Kim, Gihwan Cho