1914 search results - page 229 / 383 » Abstract lambda-Calculus Machines |
UML
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. State machines, represented by statecharts or statechart diagrams, are an important formalism for behavioural modelling. According to the research literature, the most po...
ICNC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Through task decomposition and module combination, minmax modular support vector machines (M3 -SVMs) can be successfully used for difficult pattern classification task. ...
SIGCSE
2004
ACM
14 years 1 months ago
2004
ACM
Understanding the execution of an object-oriented program can be a challenge for a student starting a CS1 course. We believe that a type of diagram that we call a memory diagram c...
AIRS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Automatic transliteration of foreign names is basically regarded as a diminutive clone of the machine translation (MT) problem. It thus follows IBM’s conventional MT mo...
AMTA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We describe an approach to creating a small but diverse corpus in English that can be used to elicit information about any target language. The focus of the corpus is on ...