319 search results - page 33 / 64 » formats 2003 |
SBCCI
2003
ACM
14 years 1 months ago
2003
ACM
This work presents an implementation of a Direct Torque Control (DTC) strategy, which is used to control induction motors. Following a tendency in the research area, the algorithm...
AIIA
2003
Springer
14 years 1 months ago
2003
Springer
This paper aims at presenting the application of first-order logic machine learning techniques to two document domains in order to learn rules for recognizing the semantic role of...
AIME
2003
Springer
14 years 1 months ago
2003
Springer
Among the well agreed-on benefits of a guideline computerisation, with respect to the traditional text format, there are the disambiguation, the possibility of looking at the guide...
CC
2003
Springer
14 years 1 months ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
CONCUR
2003
Springer
14 years 1 months ago
2003
Springer
We propose an algorithm for generating a Priority Rewrite System (PRS) for an arbitrary process language in the OSOS format such that rewriting of process terms is sound for bisim...