317 search results - page 31 / 64 » Real Recursive Functions and Real Extensions of Recursive Fu... |
154
click to vote
QEST
2009
IEEE
15 years 9 months ago
2009
IEEE
—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards a...
121
click to vote
ICMCS
2000
IEEE
15 years 7 months ago
2000
IEEE
Networking of MPEG-4 content is the topic of ongoing standardization efforts in the ISO MPEG and IETF. In this paper, we describe a complete architecture for the transport of MPEG...
144
click to vote
IPMI
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Image segmentation in microscopy, especially in interferencebased optical microscopy modalities, is notoriously challenging due to inherent optical artifacts. We propose ...
117
click to vote
ICDT
2003
ACM
15 years 8 months ago
2003
ACM
We study extensions of first-order logic over the reals with different types of transitive-closure operators as query languages for constraint databases that can be described by...
EUSFLAT
2007
15 years 4 months ago
2007
We investigate the distribution functions and the moments of the so-called Choquet integral, also known as the Lov´asz extension, when regarded as a real function of a random sam...