263 search results - page 24 / 53 » Generalized scatter plots |
APSEC
2002
IEEE
15 years 2 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
ICAD
2004
14 years 11 months ago
2004
"Perceptions in C" is a submission for the ICAD2004 Concert of Sonifications and was composed as a first experiment by us in the field of converting data to music. Our p...
SOFTVIS
2010
ACM
14 years 9 months ago
2010
ACM
Previous techniques for visualizing time-series of multivariate data mostly plot the time along additional axes, are often complex, and does not support intuitive interaction. In ...
TOOLS
2009
IEEE
15 years 4 months ago
2009
IEEE
Many researchers claim that crosscutting concerns, which emerge in early software development stages, are harmful to software stability. On the other hand, there is a lack of effec...
CSR
2008
Springer
14 years 11 months ago
2008
Springer
We prove that every rational language of words indexed by linear orderings is definable in monadic second-order logic. We also show that the converse is true for the class of langu...