12194 search results - page 45 / 2439 » cans 2010 |
123
Voted
ENTCS
1998
15 years 6 days 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...
61
Voted
ICMS
2010
14 years 11 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...
89
Voted
PROCEDIA
2010
14 years 11 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 ...
86
Voted
IPAW
2010
14 years 10 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...
116
Voted
SIGDIAL
2010
14 years 10 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...