1999 search results - page 219 / 400 » Dependently Typed Grammars |
167
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
This article presents a general framework for integrating reasoning about object structure and concept taxonomies. The structural relations in the domain of objects discussed are ...
146
click to vote
WABI
2004
Springer
15 years 12 months ago
2004
Springer
We describe an algorithm for comparing two RNA secondary structures coded in the form of trees that introduces two novel operations, called node fusion and edge fusion, besides the...
189
click to vote
WORDS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper discusses some of the typical characteristics of modern Web applications and analyses some of the problems the developers of such systems have to face. One of such type...
198
click to vote
AC
2003
Springer
15 years 11 months ago
2003
Springer
Generic Haskell is an extension of Haskell that supports the construction of generic programs. These lecture notes discuss three advanced generic programming applications: generic ...
190
click to vote
CAEPIA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In recent years, particle filters have emerged as a useful tool that enables the application of Bayesian reasoning to problems requiring dynamic state estimation. The ef...