1874 search results - page 41 / 375 » Abstract Machine for LDL |
110
click to vote
MLG
2007
Springer
15 years 8 months ago
2007
Springer
d Abstract) Kaspar Riesen, Stefan Fankhauser and Horst Bunke2
120
click to vote
ECML
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We propose a simple and efficient approach to building undirected probabilistic classification models (Markov networks) that extend na
QSIC
2003
IEEE
15 years 7 months ago
2003
IEEE
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...
125
click to vote
ASM
2005
ASM
15 years 8 months ago
2005
ASM
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...
134
click to vote
MSCS
2010
15 years 23 days ago
2010
ABSTRACT. In this note we prove that any Turing machine which uses only a finite computational space for every input cannot solve an uncomputable problem even in case it runs in a...