Sciweavers

1914 search results - page 46 / 383
» Abstract lambda-Calculus Machines
Sort
View
PROPOR
2010
Springer
173views Languages» more  PROPOR 2010»
15 years 2 months ago
A Machine Learning Approach to Portuguese Clause Identification
Abstract. In this work, we apply and evaluate a machine-learningbased system to Portuguese clause identification. To the best of our knowledge, this is the first machine-learning-b...
Eraldo R. Fernandes, Cícero Nogueira dos Sa...
MLG
2007
Springer
15 years 10 months ago
Speeding Up Graph Edit Distance Computation with a Bipartite Heuristic
d Abstract) Kaspar Riesen, Stefan Fankhauser and Horst Bunke2
Kaspar Riesen, Stefan Fankhauser, Horst Bunke
ECML
2006
Springer
15 years 8 months ago
Bayesian Learning of Markov Network Structure
Abstract. We propose a simple and efficient approach to building undirected probabilistic classification models (Markov networks) that extend na
Aleks Jakulin, Irina Rish
QSIC
2003
IEEE
15 years 9 months ago
Validating Use-Cases with the AsmL Test Tool
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...
Michael Barnett, Wolfgang Grieskamp, Wolfram Schul...
ASM
2005
ASM
15 years 10 months ago
Scenario based Analysis of Linear Computations
Abstract. In this paper we consider the following task: given an abstract state machine, characterize the subsets of initial values corresponding to different typical scenarios of...
Vladimir Filatov, Rostislav Yavorskiy