5066 search results - page 969 / 1014 » Spectra of structures and relations |
APVIS
2009
13 years 10 months ago
2009
Current visualization systems are typically based on the concept of interactive post-processing. This decoupling of data visualization from the process of data generation offers a...
ECAI
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Interval temporal logics formalize reasoning about interval structures over (usually) linearly ordered domains, where time intervals are the primitive ontological entitie...
CONEXT
2009
ACM
13 years 10 months ago
2009
ACM
Network traffic can be represented by a Traffic Dispersion Graph (TDG) that contains an edge between two nodes that send a particular type of traffic (e.g., DNS) to one another. T...
Publication
In this paper we describe a vision system for reconstructing the relative structure of snow and ice
surfaces. This effort is one step toward the long-term goal of rendering absol...
ICFP
2010
ACM
13 years 10 months ago
2010
ACM
Programmers reason about their programs using a wide variety of formal and informal methods. Programmers in untyped languages such as Scheme or Erlang are able to use any such met...