6740 search results - page 615 / 1348 » Using Classification as a Programming Language |
183
click to vote
DIAGRAMS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Isaac is a rule-based visual language for mobile robots using evidential reasoning and a fuzzy inference engine. A prototype inference engine for Isaac has been implement...
183
click to vote
SOSL
1993
15 years 10 months ago
1993
In this paper we study automatic veri cation of proofs in process algebra. Formulas of process algebra are represented by types in typed -calculus. Inhabitants (terms) of these ty...
213
Voted
RTA
2010
Springer
15 years 9 months ago
2010
Springer
We present an automated approach to prove termination of Java Bytecode (JBC) programs by automatically transforming them to term rewrite systems (TRSs). In this way, the numerous t...
147
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this paper I present a game model for the semantical analysis of handshake circuits. I show how the model captures effectively the composition of circuits in an associative wa...
174
click to vote
JFP
2000
15 years 6 months ago
2000
A simple implementation of an SML-like module system is presented as a module parameterized by a base language and its type-checker. This implementation is useful both as a detail...