1054 search results - page 113 / 211 » Guarded Expressions in Practice |
188
click to vote
JAR
2007
15 years 6 months ago
2007
As applications of description logics proliferate, efficient reasoning with knowledge bases containing many assertions becomes ever more important. For such cases, we developed a n...
176
click to vote
CCE
2005
15 years 6 months ago
2005
Armed with increasingly fast supercomputers and greater knowledge of the molecular mechanisms of gene expression, it is now practical to numerically simulate complex networks of r...
191
click to vote
CL
2000
Springer
15 years 5 months ago
2000
Springer
Associative Language Descriptions are a recent grammar model, theoretically less powerful than Context Free grammars, but adequate for describing the syntax of programming languag...
175
click to vote
ENTCS
2002
15 years 5 months ago
2002
When different mathematical models are used for software analysis and development it is important to understand their relationships. When the models are truly mathematical, and wh...
113
click to vote
AAECC
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. A recursive convolutional encoder can be regarded as an innite impulse response system over the Galois Field of order 2. First, in this paper, we introduce nite response ...