1982 search results - page 215 / 397 » Parametricity and dependent types |
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...
195
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 ...
189
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...
182
click to vote
COSIT
2003
Springer
15 years 11 months ago
2003
Springer
The discovery of services that are appropriate for answering a given question is a crucial task in the open and distributed environment of web services for geographic information. ...