3686 search results - page 551 / 738 » An Approach to a Trustworthy System Architecture Using Virtu... |
RTA
2007
Springer
14 years 2 months ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
AFRIGRAPH
2004
ACM
14 years 1 months ago
2004
ACM
Even though the speed of software ray tracing has recently been increased to interactive performance even on standard PCs, these systems usually only supported triangles as geomet...
ERCIMDL
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this paper we present an approach to question answering over heterogeneous knowledge sources that makes use of different ontology management components within the sce...
INFSOF
2000
13 years 8 months ago
2000
Developing software engineering tools is a difficult task, and the environments in which these tools are deployed continually evolve as software developers' processes, tools ...
NN
1998
Springer
13 years 7 months ago
1998
Springer
In this paper we present an approach to robot arm control based on exploiting the dynamical properties of a simple neural network oscillator circuit coupled to the joints of an ar...