810 search results - page 64 / 162 » Continuous cartogram construction |
CDC
2008
IEEE
15 years 6 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
15 years 6 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
15 years 5 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
15 years 5 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...
100
click to vote
LICS
2003
IEEE
15 years 5 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...