Sciweavers

6087 search results - page 273 / 1218
» Knowledge discovery methods
Sort
View
195
Voted
NCA
2008
IEEE
16 years 1 months ago
On the Application of Formal Methods for Specifying and Verifying Distributed Protocols
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
Marina Gelastou, Chryssis Georgiou, Anna Philippou
ICIP
2007
IEEE
16 years 28 days ago
Radial Basis Functions Collocation Methods for Model Based Level-Set Segmentation
We consider a recent parametric level-set segmentation approach where the implicit interface is the zero level of a continuous function expanded onto compactly supported radial ba...
Amaud Gelas, Joël Schaerer, Olivier Bernard, ...
LREC
2008
85views Education» more  LREC 2008»
15 years 8 months ago
A Method for Automatically Constructing Case Frames for English
Case frames are an important knowledge base for a variety of natural language processing (NLP) systems. For the practical use of these systems in the real world, wide-coverage cas...
Daisuke Kawahara, Kiyotaka Uchimoto
IJAR
2006
98views more  IJAR 2006»
15 years 6 months ago
A forward-backward Monte Carlo method for solving influence diagrams
Although influence diagrams are powerful tools for representing and solving complex decisionmaking problems, their evaluation may require an enormous computational effort and this...
Andrés Cano, Manuel Gómez, Seraf&iac...
JCAL
2000
80views more  JCAL 2000»
15 years 6 months ago
An activity-based analysis of hands-on practice methods
The success of exploration-based training is likely to be strongly influenced by what activities the learner undertakes during training. This paper presents a study of the activiti...
Susan Wiedenbeck, J. A. Zavala, Jason Nawyn