12194 search results - page 45 / 2439 » cans 2010 |
ENTCS
1998
13 years 8 months ago
1998
This paper shows how modal mu-calculus formulae characterizing finite-state processes up to strong or weak bisimulation can be derived directly from the well-known greatest fixp...
ICMS
2010
13 years 7 months ago
2010
We propose an algorithm for computing the facets of a pure connected polyhedral fan up to symmetry. The fan is represented by an oracle. With suitable implementations of the oracle...
PROCEDIA
2010
13 years 7 months ago
2010
The study of ant navigation is a rich source of empirical data and speculative theories that has been well-documented in the scientific literature. We describe and illustrate how ...
IPAW
2010
13 years 6 months ago
2010
In the paper, we show that lineage data collected during the processing and analysis of datasets can be reused to perform selective reprocessing (at sub-image level) on datasets wh...
SIGDIAL
2010
13 years 6 months ago
2010
The paper investigates discourse particles on the example of German doch, assigning to them very specific semantic interpretations that still cover a wide range of their uses. The...