816 search results - page 116 / 164 » Typed iterators for XML |
GEOINFO
2004
13 years 9 months ago
2004
: This work is on development of a method for automatic registration of satellite images acquired on different dates, for both geometric and radiometric correction with respect to ...
FCS
2006
13 years 9 months ago
2006
: In this paper, functioning and interaction of distributed devices and concurrent algorithms are analyzed in the context of the theory of algorithms. Although different systems in...
ACL
1998
13 years 9 months ago
1998
In orderto realize their full potential, multimodalsystems need to support not just input from multiple modes, but also synchronized integration of modes. Johnston et al (1997) mo...
ICASSP
2010
IEEE
13 years 8 months ago
2010
IEEE
Extractive summarization of conference and lecture speech is useful for online learning and references. We show for the first time that deep(er) rhetorical parsing of conference ...
ENTCS
2008
13 years 8 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...