810 search results - page 64 / 162 » Continuous cartogram construction |
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
The new notion of maturity-independent risk measures is introduced and contrasted with the existing risk measurement concepts. It is shown, by means of two examples, one set on a ļ...
FORMATS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We ļ¬rst introduce STL/PSL, a speciļ¬cation formalism based on the indus...
MHCI
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We provide a dynamic systems interpretation of the coupling of internal states involved in speed-dependent automatic zooming, and test our implementation on a text browse...
NIME
2004
Springer
14 years 2 months ago
2004
Springer
The Epipe is a novel electronic woodwind controller with continuous tonehole coverage sensing, an initial design for which was introduced at NIME ā03. Since then, we have succes...
LICS
2003
IEEE
14 years 2 months ago
2003
IEEE
We show that the decomposition of Intuitionistic Logic into Linear Logic along the equation Ā“ may be adapted into a decomposition of classical logic into LLP, the polarized versi...